git.iko.soy/Idris-dev
on 22143e4 help sign in
22143e4Fix if - operator precedence mistake, fixes #911Paul Koerbitz 6669a26Add superclass info to ClassDoc and output it in pprintDocs (:doc command)Paul Koerbitz 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 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 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 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 76c408fAdapt expandParamsD to new parameter docs field in PClassPaul Koerbitz 1df6fa9Nested record update syntaxEdwin Brady 4035b5dAdd a field for parameter docstrings in the PClass constructor of PDecl'Paul Koerbitz 309d7a7Fixes naming issue with eliminator parameters, and eliminators on empty typesAhmad Salim Al-Sibahi 9b1b1f1Rename record002 test to the correct name!Edwin Brady 05a46f2Generate better record update functionsEdwin Brady 555d58fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 1048e99Fix record projections for fields which are paramsEdwin Brady bd51b18Merge pull request #1157 from PhilipRasmussen/patch-1David Christiansen 4417943Merge pull request #1159 from paulkoerbitz/fix/1047-repl-doc-for-typeclassesraichoo 4c1573eAdd removal of :info to CHANGELOGPaul Koerbitz 07a002fInserted a newline which seamed to be missing.Philip Rasmussen a726ae7Merge pull request #1155 from paulkoerbitz/fix/1047-repl-doc-for-typeclassesDavid Christiansen cc92419Add myself to the CONTRIBUTORS filePaul Koerbitz af3816eMerge branch 'master' into fix/1047-repl-doc-for-typeclassesPaul Koerbitz 8f8a40fMerge pull request #1138 from reynir/total-verifiedDavid Christiansen f56a3fbMerge pull request #1152 from david-christiansen/ipkg-parserDavid Christiansen f5705ebDisplay docstrings for typeclass parameters and simplify dispaly of subclassesPaul Koerbitz 5a5eecaMerge pull request #1143 from ahmadsalim/bug/inductionfixDavid Christiansen