Revision as of 23:24, 3 November 2009 edit Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits Undid revision 322618365 by Matt Crypto (talk) don't see any reason not to use it. removing it won't magically make examples appear ← Previous edit		Revision as of 16:23, 17 December 2009 edit undo Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits m date comma fixes + gen fixes using Project:AWB Next edit →
Line 38: {{refbegin}} * C. Coquand et al. An Emacs interface for type directed support constructing proofs and programs. ENTCS 2006. * A. Abel, et al. Verifying [[Haskell (programming language)\|Haskell]] Programs Using Constructive Type Theory, ACM SIGPLAN Workshop Haskell'05, Tallinn, Estonia, 30 September, 2005 http://www.tcs.informatik.uni-muenchen.de/~abel/haskell05.pdf * M. Benke et al. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing, 10(4):265-289, 2003. http://www.cs.chalmers.se/~marcin/Papers/universes.pdf * T. Coquand et al. Connecting a Logical Framework to a First-Order Logic Prover. FroCos 2005, pp.  285-301. {{refend}} Line 52: [[Category:Declarative programming languages]] [[Category:Dependently-typed formal languages]] {{simulation-software-stub}}

Agda (programming language): Difference between revisions