This is the post AIM6 version of Agda. Features include:
- Inductive families.
- The with-construct.
- Records.
- Termination checker for structural recursion.
- The Alonzo compiler.
- Fancily coloured Emacs mode.
See the Version Policy for what the version number means.
Page last modified on June 04, 2007, at 02:31 pm
Powered by
PmWiki