Latest News


January 14, 2009
The Agda Wiki Page (for Agda 2) updated [Agda Wiki (external link)]


November 26, 2008
Article on Agda-IVE updated [Agda-IVE]


March 4, 2008
Article on Agda-IVE added [Agda-IVE]


April 6, 2007
Instructions for plug-in installation added [Instruction]


March 26, 2007
Documentation of plug-ins added [Documentaion]


February 22, 2007
A new tutorial was added. [Anton Setzer's Course Material ]

A new link to Agate (Agda system) was added.


February 13, 2007
Version 1.0.2 for Linux Released [Download] [Instruction]


January 30, 2007

Version 1.0.2 Released [Download]


January 10, 2007
"Download" page renewed for more detail instruction.

First-Order Modal Logic added in the "Examples" page.


December 10, 2006
Version 1.0.1 for Windows Released [Download] [Instruction]


December 6, 2006
Agda Official Web Site Renewed