How to Install and Uninstall ats-lang-anairiats-doc Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 23,2024

Deprecated! Installation of this package may no longer be supported.

You can also install and uninstall the ats-lang-anairiats-doc on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "ats-lang-anairiats-doc" package

Please follow the steps below to install ats-lang-anairiats-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                ats-lang-anairiats-doc
            
                    
    
    Copied

2. Uninstall "ats-lang-anairiats-doc" package

Please follow the guidelines below to uninstall ats-lang-anairiats-doc on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                ats-lang-anairiats-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the ats-lang-anairiats-doc package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: ats-lang-anairiats-doc
Architecture: all
Version: 0.2.11-1.1
Priority: optional
Section: universe/doc
Source: ats-lang-anairiats
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Matthew Danish
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 318
Recommends: ats-lang-anairiats
Filename: pool/universe/a/ats-lang-anairiats/ats-lang-anairiats-doc_0.2.11-1.1_all.deb
Size: 315960
MD5sum: a8755f4796be8d97e85ce78d9bde5693
SHA1: aa8c42bd8fd4d58f513238c530764fb82ae497a5
SHA256: 65492e0a8d923ffd04e807fa2ec0b4af9168f4d644139978fa1ac7e6f4472e19
SHA512: 53131bd9cc6e650c2554fe0ba7cac25830aa3d82c46e1e6affc385385ed0cf71f0333a7b7f0ecc456c7ffa55894887b80d0449b20e774e5359bd1e5985505ee9
Homepage: http://www.ats-lang.org
Description-en: Documentation for the ATS compiler Anairiats
ATS is a programming language with a highly expressive type system
rooted in the framework Applied Type System. In particular, both
dependent types and linear types are available in ATS. The current
implementation of ATS (ATS/Anairiats) is written in ATS itself. It
can be as efficient as C/C++ and supports a variety of programming
paradigms.
.
In addition, ATS contains a component ATS/LF that supports a form of
(interactive) theorem proving, where proofs are constructed as total
functions. With this component, ATS advocates a programming style
that combines programming with theorem proving. Furthermore, this
component may be used as a logical framework to encode various
deduction systems and their (meta-)properties.
.
This package contains some documentation for the language.
Description-md5: 31d44fdab4fb0808cc78a00ca88fc852