git.iko.soy/Idris-dev
on 30ee9ad help sign in
30ee9adFuture-proof the TC' monadniklas 304fff1Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady ac617c1Replace records003 testEdwin Brady 0663f4dMerge pull request #1183 from pminten/ppoptEdwin Brady f30bfc0Merge pull request #1179 from ziman/improve-astutilsEdwin Brady e7e5638Merge pull request #1174 from bmsherman/masterEdwin Brady 58774feMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 32580d0Disable record003 in javascript testsEdwin Brady 9491c3cAdd ppOptionIst function.Peter Minten 5e3c248Change impl argument to a pretty printing opt recordPeter Minten f20f461Merge pull request #1180 from david-christiansen/ideslave-message-fixDavid Christiansen 104635bPrevent double-printing some FCsDavid Raymond Christiansen f9e8ec2Make ihWarn work properly with emptyFC on command lineDavid Raymond Christiansen da45e7dFollow IDESlave protocol when import not foundDavid Raymond Christiansen a3fa5a4Bring module loading into Idris monadDavid Raymond Christiansen cedcd6eUpdate comments.Matus Tejiscak 8081528Make Ctxt lookups more straightforward in ASTUtils.Matus Tejiscak 89c3853Merge pull request #1178 from raichoo/javascriptraichoo ec562e9javascript: remove some more constructorsraichoo 136ca4cMerge pull request #1177 from david-christiansen/issue/1056David Christiansen 7c8a6b9javascript: inline conditionsraichoo de6bee5Merge pull request #1176 from david-christiansen/init-bannerDavid Christiansen 6250eb4Make executor emulate putcharDavid Raymond Christiansen 7922bb6Merge pull request #1175 from david-christiansen/pprint-assocDavid Christiansen 47304d9Allow the big startup banner to be disabledDavid Raymond Christiansen 77ca4edFix interactive editing and testsDavid Raymond Christiansen ba19708Merge pull request #1173 from raichoo/javascriptraichoo 50954d3Fix implementation of Prelude.Applicative.whenbmsherman 86cf82dMerge branch 'master' of https://github.com/bmsherman/Idris-devbmsherman e70027fMake Prelude.Applicative.when implementation cleaner.bmsherman 1a9ab97Make Prelude.Applicative.when implementation cleaner.bmsherman 0e31481Merge branch 'master' of https://github.com/bmsherman/Idris-devbmsherman 7273f3bFix line breaks in display of :t at REPLDavid Raymond Christiansen 4c76d56Respect precedence and associativity for infix ops in pprintDavid Raymond Christiansen 3e286a3javascript: removeIDs should remove nested identitiesraichoo bfe6499Give the pretty-printer access to info about infixesDavid Raymond Christiansen a92dfa1Merge pull request #1169 from david-christiansen/so-falseDavid Christiansen 39908ebAdd Uninhabited instances for so FalseDavid Raymond Christiansen c6f3662Merge pull request #1160 from ahmadsalim/bug/furthereliminatorfixesDavid Christiansen 9b05293Merge pull request #1166 from paulkoerbitz/fix/1158-consistify-typeclass-parameter-names-in-docDavid Christiansen 0068bbaMerge pull request #1165 from paulkoerbitz/fix/1154-populate-docstrings-of-typeclass-parametersDavid Christiansen b588d38Update CHANGELOGEdwin Brady 9aa90beAdded nested record access syntaxEdwin Brady 2a603e4Add documentation to Prelude functionsbmsherman 334f5b5Make `and`, `or`, `any`, and `all` short-circuit from left-to-right, as is more natural.bmsherman c2bd084Add laziness to values which aren't evaluated in all branches of a function.bmsherman dda9b49Generalize list eliminatorBen 663d9eeUpdate subclass display in 'subclasses' to use consistent parameter namesPaul Koerbitz bb00be2Remove superfluous 'getContext' in docClassPaul Koerbitz 2fa561cHandle extra field of PClass in IBC.hsPaul Koerbitz