on 39bc4c4 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/Modifying the System.getEnv function to return IO (Maybe String) llvm/Modifying the System.getEnv function to return IO (Maybe String) papers/Finished proof-reading implementation paper rts/Modifying the System.getEnv function to return IO (Maybe String) samples/Fix Vect arguments in samples/ src/Merge pull request #485 from lambdadomain/master support/ test/Indent terms printed in typechecking errors 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 READMEDescribe dependencies in README Setup.hsMerge pull request #422 from melted/llvm config.mkTake CFLAGS from environment in Makefiles idris.cabalMerge pull request #485 from lambdadomain/master