contribs/Fix optional combinator in SimpleParser13 years ago effects/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago iif/ java/Push java RTS version to the first one including signed comparisons13 years ago javascript/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago js/javascript: refactoring13 years ago lib/Compile Nat as Int, (and plus/mult/fromInteger)13 years ago llvm/Take CFLAGS from environment in Makefiles13 years ago papers/Final (I hope!) implementation paper tinkering13 years ago rts/Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #32513 years ago samples/Fix Vect arguments in samples/13 years ago src/Fix bug in compilation of optimised Nats13 years ago support/ test/Better representation and rendering of generated names13 years ago tutorial/Give a bit more context for error messages13 years ago .gitattributes .gitignoreIgnore Mac OS X .DS_Store files13 years ago .travis.yml(Temporarily) remove java tests from travis13 years ago CHANGELOGMerge pull request #479 from david-christiansen/repl-persistent-history13 years ago CONTRIBUTORSUpdate CONTRIBUTORS and CHANGELOG13 years ago LICENSE MakefileAllow tests to be parallelized13 years ago READMEDescribe dependencies in README13 years ago Setup.hsMerge pull request #422 from melted/llvm13 years ago config.mkTake CFLAGS from environment in Makefiles13 years ago idris.cabalAdd newer tests to idris.cabal13 years ago