Revision as of 02:28, 5 January 2010 edit 150.29.49.62 (talk) No edit summary ← Previous edit		Revision as of 05:29, 5 January 2010 edit undo 150.29.49.62 (talk) →Agda 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~~AIM11] is scheduled for March in [[Japan]]. Agda 2 is similar to [[Epigram (programming language)\|Epigram]].

Agda (programming language): Difference between revisions