====== Agda ======

  * [[http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.HomePage|AgdaWiki]]
  * [[http://agda.readthedocs.org/en/latest/|Agda’s documentation!]]
  * [[http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.TOC|Reference Manual (AgdaWiki)]]
  * [[http://people.inf.elte.hu/divip/AgdaTutorial/Index.html|AgdaTutorial (divip)]]
  * [[http://wiki.portal.chalmers.se/agda/pmwiki.php?n=D-Case-Agda.D-Case-Agda|D-Case in Agda]]
  * [[http://www.cse.chalmers.se/~nad/listings/lib-0.7/README.html|Standard Library 0.7]]
  * {{:memo:agda-trans.txt|Agda-trans}}
  * [[http://www.ie.u-ryukyu.ac.jp/~kono/lecture/software/Agda/|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" を加える