contribs/rename fmap to map13 years ago effects/Make ChType a member of IntTy ITChar.13 years ago iif/ java/Remove Java RTS build in favor of the version hosted on Maven Central13 years ago javascript/More Integer fixups13 years ago js/javascript: get more out of google closure13 years ago lib/Merge branch 'master' of github.com:edwinb/Idris-dev13 years ago llvm/GC GMP-allocated memory13 years ago papers/Revision of impl-paper completed.14 years ago rts/Fix spelling of Xor prims. This fixes issue #356.13 years ago samples/Added backend target specification to %lib, %link and %include directives13 years ago src/Remove Java RTS build in favor of the version hosted on Maven Central13 years ago support/ test/rename fmap to map13 years ago tutorial/rename fmap to map13 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreAdd tutorial LaTeX by-products to .gitignore13 years ago .travis.ymlRemove Java RTS build in favor of the version hosted on Maven Central13 years ago CHANGELOGUpdate CHANGELOG to reflect recent additions and fixes13 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileAdd java tests to travis.yml13 years ago READMEDescribe dependencies in README13 years ago Setup.hsRemove Java RTS build in favor of the version hosted on Maven Central13 years ago config.mkRemove Java RTS build in favor of the version hosted on Maven Central13 years ago idris.cabalRemove java rts from idris.cabal13 years ago