Revision as of 17:15, 18 June 2007 edit Nattfodd (talk \| contribs) 183 edits Extension of the Agda article, including Agda2 precisions, AIM meetings and a link to the wiki ← Previous edit		Revision as of 17:19, 18 June 2007 edit undo Nattfodd (talk \| contribs) 183 edits Mention of emacs mode and of epigram Next edit →
Line 8: ==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 deduceable from the context. ~~Agda2~~Agda 2 also makes an intensive 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 Nils Anders Danielsson. The 6th Agda Implementor's Meeting was held in [[Göteborg]] in May 2007. AIM7 is scheduled for november in [[Osaka]] and should focus on the transition from Agda 1 to Agda 2. Agda 2 is very close to [[Epigram_(programming_language)\|Epigram]]. ==External links==

Agda (programming language): Difference between revisions