cwhy/tests/Haskell at main · plasma-umass/cwhy · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
testme-fixed.hs		testme-fixed.hs
testme.hs		testme.hs

README.md

brew install ghc brew install cabal-install cabal update cabal install --lib gnuplot