About
Agda is a dependently typed programming language / interactive theorem prover.
http://wiki.portal.chalmers.se/agda/pmwiki.php
Other
Languages
Language:Haskell 52.9%Language:Agda 25.2%Language:TeX 8.4%Language:PostScript 6.0%Language:HTML 3.0%Language:Emacs Lisp 2.0%Language:Yacc 1.1%Language:Makefile 0.5%Language:JavaScript 0.5%Language:Logos 0.1%Language:Shell 0.1%Language:Nix 0.1%Language:M4 0.1%Language:CSS 0.0%Language:Perl 0.0%Language:C 0.0%