How to Install and Uninstall elpa-agda2-mode Package on Kali Linux

Last updated: November 07,2024

1. Install "elpa-agda2-mode" package

Please follow the instructions below to install elpa-agda2-mode on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

Here is a brief guide to show you how to uninstall elpa-agda2-mode on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Kali Linux

Package: elpa-agda2-mode
Source: agda
Version: 2.6.3-1
Installed-Size: 221
Maintainer: Debian Haskell Group
Architecture: all
Depends: agda-bin (<< 2.6.3-1.1~), agda-bin (>= 2.6.3-1), libghc-agda-dev (<< 2.6.3-1.1~), libghc-agda-dev (>= 2.6.3-1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Size: 59256
SHA256: 8c20c9c6c38de563cd4a0330fe8927d16705c4e56999235b6a29539b1bb7d5b6
SHA1: 92826ecd4c25a78bb1720362fb17b46ab7ce9975
MD5sum: 926c6003ebbd0d1bbb6eb5e8848614a5
Description: dependently typed functional programming language — emacs mode
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
.
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
.
This package contains the emacs interactive development mode for Agda. This
mode is the preferred way to write Agda code, and offers features such as
iterative development, refinement, case analysis and so on.
Description-md5:
Homepage: https://wiki.portal.chalmers.se/agda/
Section: editors
Priority: optional
Filename: pool/main/a/agda/elpa-agda2-mode_2.6.3-1_all.deb