Content deleted Content added
→External links: refer to the Agda wiki as the homepage, since it is, to help google find it |
No edit summary |
||
Line 10:
Agda 2 provides either a commandline tool or a powerful [[Emacs]] mode, developed by Makoto Takeyama and Nils Anders Danielsson.
The 7th Agda Implementor's Meeting was held in [[Osaka]] in November 2007. AIM8 is scheduled for May in [[
Agda 2 is very close to [[Epigram (programming language)|Epigram]].
| |||