目次

Agda
- Install with Cabal
  - 2.4.0.1

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

.emacs 設定
PATH 設定

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” を加える