窗户

窗户

• 安装Haskell、emacs和Agda 2.6.0.1（以及一些旧版本）的单个MSI是在这里.
• 已更新注释在Windows 7和8上完全手动安装Agda 2.4.2。
• 笔记在Windows 7上完成Agda 2.3.2的手动安装。

从Darcs安装Agda 2.3.3（2013年1月的说明）

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

共享软件字体这可能比GNU unifont看起来更好。

较旧的windows版本

Agda-2.2.10手动安装说明