buggymcbugfix / agda

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

http://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.

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

Other

Languages

Language:Haskell 53.4%Language:Agda 25.5%Language:TeX 8.0%Language:PostScript 5.8%Language:HTML 3.0%Language:Emacs Lisp 1.9%Language:Yacc 1.1%Language:Makefile 0.5%Language:JavaScript 0.4%Language:Logos 0.2%Language:Shell 0.1%Language:M4 0.1%Language:CSS 0.0%Language:C 0.0%Language:Perl 0.0%