LICENSE
Setup.lhs
proplang.cabal
PropLang