Agda

Dependently-typed functional language and proof assistant.

Agda is a dependently-typed language used heavily for mechanised mathematics and programming-language theory. It runs on Linux with Emacs integration as its primary IDE.

License: MIT

Category: Language

Website: https://wiki.portal.chalmers.se/agda/

Install

cabal install Agda

Previousaerc Nextage