Windows

Windows

• A single MSI that installs Haskell, emacs, and Agda 2.6.0.1 (also some older versions) is here.
• Updated Note on complete manual installation of Agda 2.4.2 on Windows 7 and 8.
• Notes on complete manual installation of Agda 2.3.2 on Windows 7.

Installing Agda 2.3.3 from Darcs (instructions from Jan 2013)

http://blog.codersbase.com/posts/2013-01-19-installing-agda-on-windows.html

Shareware fonts that may look better than GNU unifont.

Older windows versions

Instruction for Agda-2.2.10 manual installation