Install Atsdoc On A Debian, Ubuntu, Kali And Raspbian

Install Atsdoc On A Debian, Ubuntu, Kali And Raspbian

atsdoc

Legacy ATS v1 language compiler, named Anairiats

Learn Laravel, React, VueJS and Python
read programming books
Maintainer: Matthew Danish
Email: [email protected] .
Website: http://www.ats-lang.org
Section: devel

Install atsdoc

  • Debian apt-get install ats-lang-anairiats Click to copy
  • Ubuntu apt-get install ats-lang-anairiats Click to copy
  • Kali Linux apt-get install ats-lang-anairiats Click to copy
  • Raspbian apt-get install ats-lang-anairiats Click to copy

ats-lang-anairiats

Legacy ATS v1 language compiler, named 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 the compiler atsopt, the frontend atscc, and the lexer atslex. This is the final release of ATS1. Please migrate your code to ATS2/Postiats, the compiler frontend patscc (patsopt), in the package ats2-lang. This package is for legacy code and bootstrapping purposes.

Install the latest version of atsdoc in Debian, Ubuntu, Kali and Raspbian from terminal. To install the atsdoc just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of atsdoc from the respository and install it in your computer/server.