on dcbf98a help sign in
Idris-dev
15 folders, 11 files
contribs/SimpleParser: improving performance so it is usefull for real world stuff effects/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc iif/ java/Push java RTS version to the first one including signed comparisons javascript/javascript: positional arguments js/javascript: fix ffiwrap /HT ihmeckler lib/Adding several functions to interact with environment variables. llvm/Adding several functions to interact with environment variables. papers/Finished proof-reading implementation paper rts/Adding several functions to interact with environment variables. samples/Fix Vect arguments in samples/ src/Preserve colour themes after :e support/ test/Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues. tutorial/Give a bit more context for error messages .gitattributes .gitignoreIgnore Mac OS X .DS_Store files .travis.yml(Temporarily) remove java tests from travis CHANGELOGMerge pull request #479 from david-christiansen/repl-persistent-history CONTRIBUTORSUpdate CONTRIBUTORS and CHANGELOG LICENSE MakefileAllow tests to be parallelized READMEAdded note about wiki to README Setup.hsMerge pull request #422 from melted/llvm config.mkTake CFLAGS from environment in Makefiles idris.cabalUpdate version number to 0.9.9.2