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
Page last modified on October 13, 2023, at 04:48 pm
Powered by PmWiki