cabal
anf
make it compile
Merge pull request #130 from ucsd-progsys/henning

Henning