examples/Fix some bugs, including an issue with overenthusiastic inlining of variables.13 years ago libraries/Delete README.md13 years ago src/Qualify all names appearing in types when adding names to the environment.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.mdUpdate README.md13 years ago Setup.lhsInitial add13 years ago purescript.cabalBump version13 years ago release.mdUpdate release.md13 years ago