contribs/Fix simple monadic parser13 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/Define Prelude.List.replicate in a way that doesn’t require %assert_total13 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 incompete(?) pattern support for SIMD values13 years ago support/ test/Correct codegen-specific test targets option naming13 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.ymlFix .travis.yml Somehow I broke it in the last merge13 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.cabalBeginnings of integer SIMD support (no backend yet)13 years ago