Instasll agda in Mac OSX

做個備忘

brew install ghc cabal-install
cabal install happy
cabal install alex
cabal install agda

Comments

Comments powered by Disqus