24/02/2017: Requires the "master" branch of Agda: git clone https://github.com/agda/agda cd agda cabal install