Revision as of 17:54, 1 January 2010 edit Greenrd (talk \| contribs) Extended confirmed users 14,722 edits influenced by Haskell ← Previous edit		Revision as of 02:28, 5 January 2010 edit undo 150.29.49.62 (talk) No edit summary Next edit →
Line 31: Agda 2 provides either a commandline tool or a powerful [[Emacs]] mode, developed by Makoto Takeyama and Nils Anders Danielsson. The 10th Agda Implementor's Meeting was held in [[Gothenburg]] in September 2009. [http://unit.aist.go.jp/cvs/symposium/AIM11/AIM11.html AIM 11] is scheduled for March in [[Japan]]. Agda 2 is similar to [[Epigram (programming language)\|Epigram]].

Agda (programming language): Difference between revisions