README
Setup.hs
free-theorems-seq.cabal
src