= Installation == Preparation You have to have already installed Agda2, whose package contains this translator's package. == Instructions For example, if you do like followings $ runhaskell Setup.hs configure --prefix=$HOME $ runhaskell Setup.hs build $ runhaskell Setup.hs install then you may get $HOME/bin/agda1to2