examples/Prevent skolem variables from escaping13 years ago libraries/Use double bang for array indexing13 years ago src/Prevent skolem variables from escaping13 years ago tests/First attempt at reconciling user defined operators with modules13 years ago .gitignoreInitial add13 years ago .travis.ymlRename travis file13 years ago CONTRIBUTING.mdUpdate CONTRIBUTING.md13 years ago LICENSEInitial commit13 years ago README.mddrop potentially confusing lines from doc13 years ago Setup.lhsInitial add13 years ago purescript.cabalMore work on RankNTypes13 years ago