emilyhorsman / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Agda 2

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

User manual
CHANGELOG

Getting Started

Prerequisites
Installation
Quick guide to editing, type checking and compiling Agda code

Hacking on Agda

Head to HACKING

About

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

Languages

Language:Haskell 52.3%Language:Agda 26.7%Language:TeX 8.2%Language:PostScript 5.4%Language:HTML 3.3%Language:Emacs Lisp 1.8%Language:Yacc 1.0%Language:Makefile 0.5%Language:JavaScript 0.4%Language:Shell 0.1%Language:Logos 0.1%Language:M4 0.1%Language:CSS 0.0%Language:C 0.0%Language:Perl 0.0%