Patsopt Installation On A Debian, Ubuntu, Kali And Raspbian

Patsopt Installation On A Debian, Ubuntu, Kali And Raspbian

patsopt

ATS version 2 programming language compiler

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

Install patsopt

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

ats2-lang

ATS version 2 programming language compiler

ATS2 a.k.a. ATS/Postiats 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/Postiats) is written in ATS (ATS/Anairiats) 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 patsopt and the frontend patscc, as well as the emacs mode for the language.

Installing patsopt command is simple. just copy one of the above commands for your operating system and paste it into terminal. This command is available for Debian, Ubuntu, Kali and Raspbian operating systems. Once you run the command it will install the latest version of patsopt 2026 package in your OS.