contribs/vim: catch user errors13 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/APPLY needs a catch all case for type constructors Normally, they get erased, but in case they haven't at compile time this ensures they are at run-time. It's safe just to return an erased term since it can't be inspected. Fixes #416 (This may mean somethi…13 years ago support/ test/rename fmap to map13 years ago tutorial/rename fmap to map13 years ago .gitattributes .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 CHANGELOGAllow names to be attached to provisional definitions lhs ?= {name} rhs -- generates a lemma called 'name' which makes the types of the lhs and rhs match. {name} is optional - a unique name is generated if it is absent.13 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