Skip to main content

Instasll agda in Mac OSX

做個備忘

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