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/Change Show instance for Nat to show integers13 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/Merge pull request #362 from david-christiansen/cmdline-exec13 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.hsFixed mvn for mingw3213 years ago config.mkMerge remote-tracking branch 'upstream/master' into providers14 years ago idris.cabalType class resolution fix (disables Decidable.Decidable) Instances should not be resolved when there is no information available. Previously, resolution just guessed at an instance in this case, though this was never intended behaviour!13 years ago