examples/Basic implementation of the entails relation13 years ago libraries/Add --run-main option13 years ago src/Basic implementation of the entails relation13 years ago tests/Runtime type checks for basic types13 years ago .gitignoreInitial add13 years ago .travis.ymlRename travis file13 years ago CONTRIBUTING.mdUpdate CONTRIBUTING.md13 years ago LICENSEInitial commit13 years ago README.mdCabal file, README update13 years ago Setup.lhsInitial add13 years ago purescript.cabalFix up broken tests, fix the escape check and skolem escape check.13 years ago release.mdUpdate release.md13 years ago