contribs/SimpleParser: fixed recursive combinators13 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/javascript: positional arguments13 years ago js/javascript: fix ffiwrap /HT ihmeckler13 years ago lib/Partially defined names should not reduce at compile-time13 years ago llvm/Take CFLAGS from environment in Makefiles13 years ago papers/Finished proof-reading implementation paper13 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/Unification fix to avoid giving up on recoverable errors13 years ago support/ test/Indent terms printed in typechecking errors13 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.cabalUpdate version number13 years ago