git.iko.soy/Idris-dev
on 89c19be help sign in
89c19beBetter error message for cast failureEdwin Brady c882154Fix DeepSeq matchingEdwin Brady 76b39b1Fix pattern warning in DeepSeqEdwin Brady bfacfbcBetter partial evaluation of polymorphic HOFsEdwin Brady 7f20febDon't totality check PE definitionsEdwin Brady 727a3d6Fix transform elaborationEdwin Brady 84bca25Merge pull request #2350 from david-christiansen/wip/tacticalDavid Christiansen bf6dbf9Fix for GHC 7.10David Raymond Christiansen 763af04Merge pull request #2345 from david-christiansen/issue/2333David Christiansen 86f415eMerge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 1f2acdeMerge pull request #2343 from david-christiansen/issue/2322David Christiansen 1d474a2Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2333David Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen 0bc0008Merge pull request #2329 from RossMeikleham/issue/2273David Christiansen dc4d3e1Test updateDavid Raymond Christiansen 02a8a08Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/2322David Raymond Christiansen 38123a4Resugaring for do and fromIntegerDavid Raymond Christiansen a604143Fix parenthesization of if ... then ... else ... in pprintDavid Raymond Christiansen 3a2e54dSeparate resugaring from delaborationDavid Raymond Christiansen fe4c09dFix typos in semantic highlighting docsEdwin Brady 9a44883Fixed pattern matching on Text type in processing the DocStr in REPL.RossMeikleham a38f712Merge pull request #2339 from tpsinnem/masterDavid Christiansen 0d6c32fMerge pull request #2340 from david-christiansen/wip/tacticalDavid Christiansen 5db2080Initial elab reflection docsDavid Raymond Christiansen 58a11c9Added self to contributors list.Timo Petteri Sinnemäki 4ede52dAllow the pretty-printing of Raw termsDavid Raymond Christiansen fa38cb5Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 37119ebMerge pull request #2332 from jfdm/doc/lang-reference-updateJan de Muijnck-Hughes b75158aMerge pull request #2324 from jfdm/update/tutorial-pdfJan de Muijnck-Hughes 61e9aa2Merge pull request #2337 from develop7/patch-1Jan de Muijnck-Hughes b4c2f6fMerge pull request #2330 from Heather/patch-3David Christiansen e7a4efeUpdate ide-protocol.rstAndrei Dziahel 1faecf8Update ide-protocol.rstAndrei Dziahel 8de3aa7Fixed indentation of enumerated list.Jan de Muijnck-Hughes b3157feFixed syntax for commands and some wordsJan de Muijnck-Hughes dd4e9f0Add short section on first class types to tutorialEdwin Brady 85a9d50Update error messages in testsEdwin Brady 3ec1122Change name of 'the' value argumentEdwin Brady 7dca9b4Minor rewording of error messageEdwin Brady 6c48da8Add doc comment in System.InteractiveEdwin Brady 4bac087Added details of the compilation and logging process.Jan de Muijnck-Hughes c8f18caPruning and deduplication of content in the reference documentation.Jan de Muijnck-Hughes 9ced655UpdateJan de Muijnck-Hughes 8213d97Updated CHANGELOGJan de Muijnck-Hughes ab54660UpdatesJan de Muijnck-Hughes 38c4fb2Updated rest doc for semantic highlighting.Jan de Muijnck-Hughes 8aa2d25Added basic repl documentationJan de Muijnck-Hughes 2ba4c80Initial documentation for Connor ColoursJan de Muijnck-Hughes bfa72a9Initial docs for %runElabDavid Raymond Christiansen 17ad946Process of determining the documentation in the REPL changed from comparing on the "show" instance on the given name to pattern matching. Also renamed pprintType1Doc to more appropriate pprintTypeDoc.RossMeikleham