Revision as of 00:29, 18 June 2009 edit Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Free Haskell software to Free software programmed in Haskell per CFD at Wikipedia:Categories for discussion/Log/2009 June 5. ← Previous edit		Revision as of 05:20, 5 July 2009 edit undo Greenrd (talk \| contribs) Extended confirmed users 14,722 edits →Agda 2: I think this reads better (not sure whether the old version was correct English) Next edit →
Line 27: ==Agda 2== The second version of Agda, Agda 2, is currently being developed at [[Chalmers University of Technology\|Chalmers]] by Ulf Norell. The syntax has completely changed from Agda 1 (though some conversion tools are being developed as well), introducing for instance implicit variables, that can be omitted when deducible from the context. Agda 2 also makes ~~an intensive~~extensive use of [[Unicode]] as a way to obtain easily-readable proofs. Agda 2 provides either a commandline tool or a powerful [[Emacs]] mode, developed by Makoto Takeyama and Nils Anders Danielsson.

Agda (programming language): Difference between revisions