contribs/Add bash completion file for Idris13 years ago effects/Default to Integer instead of Int, and adjust fromInteger accordingly13 years ago iif/ java/Fix wrong result type for idris_peek in Java13 years ago javascript/More Integer fixups13 years ago js/javascript: handle tailcalls for FFI13 years ago lib/Add DecEq instances for list and tuple13 years ago llvm/Formatting13 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/Implement remaining string and integer primitives13 years ago support/ test/Change Show instance for Nat to show integers13 years ago tutorial/Merge pull request #340 from JanBessai/BackendTargetSpecification13 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreAdd tutorial LaTeX by-products to .gitignore13 years ago .travis.ymlInstall in .travis.yml13 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 Makefilejavascript: added javascript lib package13 years ago READMEAdded testing instructions to README14 years ago Setup.hsObject and executable outputs13 years ago config.mkMerge remote-tracking branch 'upstream/master' into providers14 years ago idris.cabalAnother llvm-general version bump13 years ago