0b669c7Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7Jorge Acereda8 years ago f445c51Count inlinable defs when building module hashEdwin Brady8 years ago 1980f49Zero whole heap on initialisationEdwin Brady8 years ago 03d9188Merge pull request #4632 from bigos/patch-1Niklas Larsson8 years ago 32940beMerge pull request #4630 from unalos/4629Niklas Larsson8 years ago 33d8d91Merge pull request #4628 from unalos/4627Niklas Larsson8 years ago 4594f92Merge pull request #4626 from unalos/4625Niklas Larsson8 years ago be43904Merge pull request #4623 from unalos/4292Niklas Larsson8 years ago a0a9b79Update ffi.rst to show example of correct including C code and example MakefileJacek Podkanski8 years ago ecfb081Documenting usage of MKSTR and the Raw type constructor when interacting with C code.Guillaume Yziquel8 years ago 46f3ebbFixing arity of cdata_manage in documentation.Guillaume Yziquel8 years ago 6237e19Fixing grammar and layout of documentation of totality directives.Guillaume Yziquel8 years ago bd2fa8dDocumentation for partial, covering and total.Guillaume Yziquel8 years ago ecf297aMerge pull request #4617 from unalos/masterNiklas Larsson8 years ago 7855f86Merge pull request #4619 from shmish111/sourcedir-fixNiklas Larsson8 years ago 0e6d7edparse either identitfier or stringLiteral for ipkg sourcedirDavid Smith8 years ago 78cdbb9Accepting hyphens in libs declaration in ipkg format.Guillaume Yziquel8 years ago 097b686Whitespacing.Guillaume Yziquel8 years ago a854dd6Factoring out $JSRTS.die for both node and javascript.Guillaume Yziquel8 years ago 467aa46Standardisation of pattern matching failure on stderr for node backend.Guillaume Yziquel8 years ago 0940402Allow ipkg sourcedir to have deep locationDavid Smith8 years ago 977c1f0Fixing error message on partial pattern matching failure.Guillaume Yziquel8 years ago f76dac0Merge pull request #4614 from melted/fix_network_boundsNiklas Larsson8 years ago 2dad1ebMerge pull request #4613 from melted/fix_node_checkNiklas Larsson8 years ago dc240d6Fix network boundsNiklas Larsson8 years ago 6c52e1bOnly check for Node when requiredNiklas Larsson8 years ago a20cb92Remove unnecessary import from parserJoseph Morag8 years ago 4994292Run stylize.shJoseph Morag8 years ago d3a619dUse megaparsec's new ParseErrorBundle typeJoseph Morag8 years ago 5222ad9Replace getPosition with getSourcePosJoseph Morag8 years ago 80b60a6Remove unnecesary imports and fix small hlint warningJoseph Morag8 years ago 8af2772Change anyChar to anySingleJoseph Morag8 years ago ca34decBump megaparec versions in idris.cabal and stack.yamlJoseph Morag8 years ago 0cf1728Merge pull request #4607 from LeifW/bump_dep_rangesNiklas Larsson8 years ago b2c46a1Merge pull request #4606 from dmalikov/Show_SortedMapNiklas Larsson8 years ago 2de0c8fAllow newer version of aeson and containers.Leif Warner8 years ago 26502edAdd Show instance for SortedMapDmitry Malikov8 years ago ce61f60Merge pull request #4539 from zgrannan/improve-with-checkNiklas Larsson8 years ago 011db5fMerge pull request #4603 from kjekac/patch-1Niklas Larsson8 years ago 5ce5a36Merge pull request #4600 from stop-cran/lteProofsNiklas Larsson8 years ago 47e63f3Merge pull request #4604 from tuncer/patch-1Niklas Larsson8 years ago 242b40estack: update to build with 8.4.4Tuncer Ayaz8 years ago 8f66bedMerge pull request #4601 from bor0/bor0-patch-1Niklas Larsson8 years ago d063e6aMerge pull request #4597 from dkeehl/dkeehl-lexer-fixNiklas Larsson8 years ago 960a6a6foldr1 uses last element to seed accumulatorJack Ek8 years ago b201c84Update impleff.rstBoro Sitnikovski8 years ago 8cf81f3Add `ltePlus` and `lteMult` to contrib.stop-cran8 years ago 606ae61fix octal digits lexerdkeehl8 years ago 595cfb4Merge pull request #4586 from bossmc/masterNiklas Larsson8 years ago a244099Merge pull request #4588 from clayrat/patch-13Niklas Larsson8 years ago