Revision as of 21:56, 22 February 2008 edit Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits →External links: don't forget, written in haskell ← Previous edit		Revision as of 09:01, 13 March 2008 edit undo 129.16.29.16 (talk) No edit summary Next edit →
Line 10: Agda 2 provides either a commandline tool or a powerful [[Emacs]] mode, developed by Makoto Takeyama and Nils Anders Danielsson. The ~~6th~~7th Agda Implementor's Meeting was held in [[~~Göteborg~~Osaka]] in ~~May~~November 2007. ~~AIM7~~AIM8 ~~was~~is scheduled for ~~November~~May in [[~~Osaka~~Goteborg]] ~~and should focus on the transition from Agda 1 to Agda 2~~. Agda 2 is very close to [[Epigram (programming language)\|Epigram]].

Agda (programming language): Difference between revisions