examples/Fix kind checking, code gen for dictionaries13 years ago libraries/Add --run-main option13 years ago src/Fully type the provided value in infer and check. Need to fix the escape check.13 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.cabalInitial work on desugaring type classes into dictionaries13 years ago release.mdUpdate release.md13 years ago