examples/Fix kind checking, code gen for dictionaries13 years ago libraries/Add --run-main option13 years ago src/Revert "Fix error in check - expand type synonyms first"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