做個備忘

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