Revision as of 23:52, 17 March 2006 edit Patrikj (talk \| contribs) 11 edits Expanded on the description (from Catarina's tutorial) ← Previous edit		Revision as of 12:21, 18 March 2006 edit undo Jitse Niesen (talk \| contribs) Extended confirmed users 17,194 edits m format Next edit →
Line 1: ~~[http://agda.sf.net/~~ '''Agda]''' is an interactive system for developing [[constructive proof]]s in a variant of [[Per Martin-Löf\|Martin Löf]]'s [[type theory]].

Agda (programming language): Difference between revisions