Revision as of 11:12, 10 May 2007 edit Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,977 edits m Agda was developed at Chalmers University of Technology. ← Previous edit		Revision as of 02:57, 11 May 2007 edit undo Oleg Alexandrov (talk \| contribs) Extended confirmed users 47,270 edits m not math Next edit →
Line 13: * T. Coquand et al. Connecting a Logical Framework to a First-Order Logic Prover. FroCos 2005, pp. 285-301. ~~{{math-stub}}~~ {{software-stub}}

Agda (programming language): Difference between revisions