git.iko.soy/Idris-dev
on 86f415e help sign in
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 e1c3a0bbump lens dependencyHeather 3643346Fixed REPL for `:doc Type` to display documentation rather than an error messageRossMeikleham 0c953a9Merge pull request #2323 from david-christiansen/wip/tacticalDavid Christiansen 6a6d0d6Merge pull request #2320 from LeifW/hvect_get_implicitDavid Christiansen d312a57Stop failing on recursive elaboration with no holesDavid Raymond Christiansen c66bf01Don't uniquify MN patvar names in reflected ElabDavid Raymond Christiansen f16051dAdded System.Interactive to baseEdwin Brady e57c14aUpdated PDF version of tutorial to current release.Jan de Muijnck-Hughes af98ee2Bumped doc version numberJan de Muijnck-Hughes