Revision as of 23:01, 12 December 2006 edit Txa (talk \| contribs) 201 edits m link to ITT instead of type theory ← Previous edit		Revision as of 04:08, 17 December 2006 edit undo Safemariner (talk \| contribs) 3,290 edits +context Next edit →
Line 1: {{context}} '''Agda''' is an interactive system for developing [[constructive proof]]s in a variant of [[Intuitionistic Type Theory\|Martin-Löf's Type Theory]]

Agda (programming language): Difference between revisions