Agda2 Installation

The following contains the information about how Anton Setzer succeeded to install Agda under Linux and Windows. This is a very rough version, which is not yet well formatted and worked out. Please watch out at this place for improved versions.
Anton Setzer
Last modified: Wed Jan 14 14:15:10 GMT 2009