Agda
Install with Cabal
2.4.0.1
Debian Jessie
sudo aptitude install -R haskell-platform
sudo aptitude install -R zlib1g-dev libncurses5-dev
sudo aptitude install -R emacs24
cabal update
cabal install cabal-install
cabal install agda
Windows
Install Haskell2013.2.0.0.msi
cabal update
cabal install cabal-install
cabal install Agda –constraint=QuickCheck==2.7.5
unzip emacs-24.3-bin-i386.zip UNDER C:\Program Files (x32)
環境変数 PATH に “C:\Program Files (x32)\bin” を加える
memo/agda.txt · 最終更新: 2015-11-06 05:55 by hn
