Windows

Windows

  • For 2.4.2
    • A single MSI that installs Haskell, emacs, and Agda 2.4.2.2 is here.
    • Updated Note on complete manual installation of Agda 2.4.2 on Windows 7 and 8.
  • For 2.3.2
    • 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

Not-one-click installer for Agda-2.3.0.1 (+ Agda Standard Library ver. 0.6 + Haskell Platform 2012.4.0.0 + Emacs 24.2.1 + GNU unifont + haskell mode 2.8.0 + 7Zip)

Shareware fonts that may look better than GNU unifont.
Older windows versions
Instruction for Agda-2.2.10 manual installation