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