on 293c8a2 help sign in
Idris-dev
15 folders, 11 files
contribs/Refactored a couple more spots effects/Make ChType a member of IntTy ITChar. iif/ java/Add long value to shift ints in order to avoid overflow javascript/More Integer fixups js/javascript: handle tailcalls for FFI lib/Allow partial show instances llvm/GC GMP-allocated memory papers/Revision of impl-paper completed. rts/Fix spelling of Xor prims. This fixes issue #356. samples/Added backend target specification to %lib, %link and %include directives src/Make LLVM optional but the default support/ test/Regression test for StrLen. tutorial/Merge pull request #340 from JanBessai/BackendTargetSpecification .gitattributestypo fix in git attributes, adding test results to gitignore .gitignoreAdd tutorial LaTeX by-products to .gitignore .travis.ymlTravis: enable cabal flags for Java in cabal execution instead of config.mk CHANGELOGUpdate CHANGELOG to reflect recent additions and fixes CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table LICENSE MakefileAdd java tests to travis.yml READMEDescribe dependencies in README Setup.hsMake LLVM optional but the default config.mkMerge remote-tracking branch 'upstream/master' into providers idris.cabalMake LLVM optional but the default