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/Update type providers so that the decision of failure or otherwise is made in IO14 years ago papers/Revision of impl-paper completed.14 years ago rts/Force gcc to use the same architecture as ghc on Mac OS X14 years ago samples/Java FFI: imports included and dependencies downloaded via maven14 years ago src/Add support for pointers to dynamic FFI14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Update type providers so that the decision of failure or otherwise is made in IO14 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 MakefileFix "make relib" to use dynamic rts14 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