- Please check NotesOnInstaller.txt
- Those who used the pre- 20110609 installer will have trouble with Emacs customization (once you customize anything, your .emacs will get broken). To remedy this, edit your .emacs and remove the two lines starting with '(agda2-ghci-options ...' and '(agda2-include-dirs ...' (in the arguments of `custom-set-variables'), or, simply remove your .emacs. Then use a post- 20110610 installer to re-install (prior uninstallation is not necessary).
To get a clean slate for re-installation after a failed installation, you need to remove both Haskell and Agda. (The version numbers should be replaced as appropriate.)
- Un-install Agda-2.2.10 and Haskell Platform 2011.2.0.1 from the Control Panel
- Erase the folders:
- For Windows 7 64-bit,
C:\Program Files (x86)\Haskell C:\Program Files (x86)\Haskell Platform\2011.2.0.1 C:\Program Files (x86)\Agda, C:\Users\$USER$\AppData\Roaming\cabal C:\Users\$USER$\AppData\Roaming\ghc plus maybe C:\Users\$USER$\AppData\Local\VirtualStore\Program Files (x86)\Haskell C:\Users\$USER$\AppData\Local\VirtualStore\Program Files (x86)\Haskell Platform\2011.2.0.1 C:\Users\$USER$\AppData\Local\VirtualStore\Program Files (x86)\Agda,
- For Windows XP 32-bit,
C:\Program Files\Haskell C:\Program Files\Haskell Platform\2011.2.0.1 C:\Program Files\Agda, C:\Documents and Settings\$USER$\Application Data\cabal C:\Documents and Settings\$USER$\Application Data\ghc
- Remove any mention of emacs and haskell from the system path.
- Remove or rename your .emacs if you have any.
- If you see meaningless boxes where you expect meaningful symbols, it is probably because the fontset your computer is using is not large enough; install and use the following fontset to recover this problem: Link to Code2000, a shareware covering wide range of unicode, or DejaVu font family with free licence.
- Agda uses unicode, so allows you to use many mathematical/logical symbols. Not every font set, however, covers those mathematical/logical symbols, but the Code2000 fontset and DejaVu font family both cover a reasonable subset.
Older Versions 2012-11-05 links no longer works due to a host relocation; if they did, various external dependencies have made them disfunctional...
- Agda-2.2.10-20110908-setup.exe (Agda-2.2.10 with Haskell Platform 2011.2.0.1)
- Agda-setup-2.2.6.exe (Agda 2.2.6 with GHC-6.10.4)
- Agda-setup-2.2.6-22.3.exe (Agda 2.2.6 with GHC-6.10.4)
- Agda2-setup-20090709.exe (Agda 2.2.4 with GHC-6.10.3)
- Agda2-setup-20090326.exe (post 2.2.0 release)
- Agda2-setup-20090310.exe (with ghc-6.10.1;
agda2-update.cmd works (until src changes break it again...))
- Agda2-setup-20090109.exe (with ghc-6.8.3+process-22.214.171.124, no space leak problem, no need for MinGW+MSYS) agda2-update.cmd does not work for this version.
Agda2-setup-20081128.exe (with ghc-6.8.3 for a better performance)Use Agda2-setup-20090109.exe instead.
- Agda2-setup-20081118.exe (with ghc-6.10.1 and cabal-install + utf8-string for the compiler use, and with a space leak problem.)
- Agda2-setup-20081117.exe (with ghc-6.10.1 and cabal-install, and with a space leak problem)
- Agda2-setup-20081116.exe (with ghc-6.10.1 and cabal-install, and with a space leak problem)
(agda2-update.cmd works again.)
- Changed the source repository to code.haskell.org ; Changed fonts to make CJK characters align with others.
- Agda2-setup-20080825.exe, an installation bug fix
- Agda2-setup-20080724.exe, now with Inno Setup script agda2-setup.iss
- Agda2-setup-20080718.exe, now with Standard Library and the command-line agda.cmd.
- Agda2-setup-20080716-2.exe, the same as 20080716.exe, but this might install on 64bit machines.
Some old versions of the installer did not support darcs 2. You can fix this by reinstalling Agda using a new installer, or by following the instructions below.
- Download a new version of darcs and extract it to agda2\bin.
- Delete agda2\Agda, agda2\lib
Excute the following commands:
darcs get --lazy http://code.haskell.org/Agda
darcs get --lazy http://www.cs.nott.ac.uk/~nad/repos/lib/
Done. You could run Agda2\Update to update.
(Version numbers referred is slightly outdated. The newer ones should work ... until they break things.)
- Download and install Haskell Platform for Windows from http://hackage.haskell.org/platform/
- Download and install GNU unifont from Unifoundry.com
- Download the zip file http://unifoundry.com/unifont-5.1.20080907.zip
- Unzip the zip file
- Open the Font folder by: Start -> Control Panel -> (Classic view) -> Font
- At the Font folder: File -> Install New Font, then choose the unziped file.
- Download and install Emacs-23
(This is an example suitable for Japanese IME users; other Emacs-23 on Windows would probably work)
- Download the self-extracting exe file emacs-23.2-20110219.exe file from http://gnupack.sourceforge.jp/docs/current/UsersGuide_download.html#_download_emacs.
- Execute emacs-23.2-20110219.exe and extract the contents to somewhere.
For example, choosing "C:\MyPrograms" creates a new folder "C:\MyPrograms\eamcs-23.2-20110219" (Avoid CJK characters in a path.)
- Modify the Path environment variable to include "C:\MyPrograms\emacs-23.2-20110219\bin"
- Download and install Haskell-mode for emacs
- Download http://ftp.ucr.ac.cr/FreeBSD/ports/amd64/packages/elisp/haskell-mode-2.8.0.tbz
- Extract the contents to somewhere. There should be a subfolder somewere\haskell-mode-2.8.0\share\emacs\site-lisp\haskell-mode
- Move the subfolder haskell-mode to be in the folder C:\MyPrograms\emacs-23.2-20110219\site-lisp