c9ace4eadd a page about propositional proofsMartin Baker8 years ago 80636c0add to proof documentationMartin Baker8 years ago 1a8c1a6remove html tagsMartin Baker8 years ago 7a39435add some documentationMartin Baker8 years ago 1979e3dadd some documentationMartin Baker8 years ago 120e37dMerge pull request #4633 from tuncer/patch-1Jan de Muijnck-Hughes8 years ago 7e876eastack.yaml: switch to lts-13.0 (ghc 8.6.3)tuncer8 years ago 007d43eMerge pull request #4648 from beardhatcode/fix/doc-wrong-doi-linkNiklas Larsson8 years ago abb6a78Fix badly formatted DOI linkRobbert Gurdeep Singh8 years ago c060a88Merge pull request #4644 from zenntenn/patch-1Jan de Muijnck-Hughes8 years ago 408118aMerge pull request #4646 from dwillmer/minor_typosJan de Muijnck-Hughes8 years ago 0c59250Function typoDave Willmer8 years ago bfaf579Correcting typo in documentationzenntenn8 years ago 106f6b2Merge pull request #4640 from chexxor/patch-1Niklas Larsson8 years ago cfb0cd7Merge pull request #4639 from jacereda/megaparsec7Niklas Larsson8 years ago 2ad85f5Fix link to Freenode webchat.Alex Berg8 years ago 18c98cbPosition is no longer reported twiceJorge Acereda8 years ago 4a8b9c2Relax Cabal and zip-archive boundsJorge Acereda8 years ago 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