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