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/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 llvm/Take CFLAGS from environment in Makefiles13 years ago papers/Paper typo fix13 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/Colour theme in Idris REPL state13 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.ymlMerge pull request #434 from JanBessai/IndependentJavaRTSVersion13 years ago CHANGELOGBetter representation and rendering of generated names13 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