Revision as of 21:54, 12 December 2007 edit Greenrd (talk \| contribs) Extended confirmed users 14,722 edits m subcatted ← Previous edit		Revision as of 04:51, 28 January 2008 edit undo Caerwine (talk \| contribs) Rollbackers 48,546 edits restub Next edit →
Line 25: * T. Coquand et al. Connecting a Logical Framework to a First-Order Logic Prover. FroCos 2005, pp. 285-301. {{simulation-software-stub}} [[Category:Functional languages]]

Agda (programming language): Difference between revisions