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/StrRev primitive too13 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/Fix let scope leakage bug13 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.cabalAdd %specialise annotation for functions (Part 1 of partial evaluation) %specialise [n1 t1, n2 t2 ...] as an annotation before a function type means that the r.h.s. of all the clauses will be evaluated, but with the name n1 reduced at most t1 times, etc. T…13 years ago