Release notes for Agda 2 version 2.2.0

Important changes since 2.1.2 (which was released 2007-08-16):

Language

Tools

Libraries

Documentation

Infrastructure

Page last modified on April 16, 2009, at 08:46 pm
Powered by PmWiki