contribs/Vim support for the new tactic keywords14 years ago effects/Merge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection14 years ago iif/Change TRACE mode to use -O214 years ago java/Primitives for object method call + formating14 years ago js/javascript: extracted common runtime14 years ago lib/Define Any/All quantifiers for Vect14 years ago papers/Revision of impl-paper completed.14 years ago rts/Fix compilation error on floating point constants14 years ago samples/Improved performance by not going through PQuote and doing less normalisation14 years ago src/Hack to parse big integer constants without overflow But we still need fromInteger to do the right thing14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Parsing for Big Integer constants fixed14 years ago tutorial/Added :x, :dynamic, and %dynamic to the tutorial14 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreImproved Makefile dependencies.14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGIf the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unification14 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileImproved Makefile dependencies.14 years ago READMEAdded testing instructions to README14 years ago Setup.hsFlag to disable effects14 years ago config.mkRepaired effects library, less attacks in applyTactic14 years ago idris.cabalFlag to disable effects14 years ago