Agda
Latest News
Updated on Jan. 14, 2009 
Top page
Download
Documentation
» License
» Tutorial
» Manual
» Papers
» Martin-Löf Type Theory
Examples
Contact
» Reporting bugs
» Communities 
Links
» Agda system
» Related systems
» Plug-ins
» Projects