contribs/vim: fix nested blockcomments14 years ago effects/Use just-built dynamic RTS during library typecheck14 years ago iif/Change TRACE mode to use -O214 years ago java/Primitives for object method call + formating14 years ago js/javascript: extracted common runtime14 years ago lib/Use just-built dynamic RTS during library typecheck14 years ago papers/Revision of impl-paper completed.14 years ago rts/Build fat RTS lib on OS X14 years ago samples/Java FFI: imports included and dependencies downloaded via maven14 years ago src/Use just-built dynamic RTS during library typecheck14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added new tests to the test README14 years ago tutorial/Added :x, :dynamic, and %dynamic to the tutorial14 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreBuild RTS as shared library14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGIf the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unification14 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileUse just-built dynamic RTS during library typecheck14 years ago READMEAdded testing instructions to README14 years ago Setup.hsUse just-built dynamic RTS during library typecheck14 years ago config.mkOS detection in config.mk without using uname14 years ago idris.cabalMake dynamic library extension platform-dependent14 years ago