How to Install and Uninstall agda Package on Kali Linux

Last updated: December 23,2024

1. Install "agda" package

This tutorial shows how to install agda on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

Please follow the guidance below to uninstall agda on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda package on Kali Linux

Package: agda
Version: 2.6.3-1
Installed-Size: 28
Maintainer: Debian Haskell Group
Architecture: all
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Size: 20128
SHA256: 2a3be4edd9c159de8961879c2ea6d98d514d444dabe162224f9e8d6c834e1c38
SHA1: c1c297244d88ec32eeff9d8d9bae0a8b46bea6d0
MD5sum: 6ddd5d37dc3c7909c7fc82c7d0d96742
Description: dependently typed functional programming language
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 is a meta package which provides Agda's emacs mode, executable, standard
library and its documentation.
Description-md5:
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: role::metapackage
Section: misc
Priority: optional
Filename: pool/main/a/agda/agda_2.6.3-1_all.deb