git.iko.soy/Idris-dev
on 47304d9 help sign in
47304d9Allow the big startup banner to be disabledDavid 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 2c99b2bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d6a3eaeCareful with shadowing when abstracting withEdwin Brady eb29608Properly ignore comments in ipkg filesDavid Raymond Christiansen ac95edbMerge pull request #1148 from melted/ccraichoo fd586f0Don't set CC if it has already been setNiklas Larsson 0ee7bfbMerge pull request #1145 from raichoo/fix1015raichoo e36c883Fix #1015raichoo 78ff448Bug fixing of induction bugsAhmad Salim Al-Sibahi bb25a8bShow defined and automatically generated class instances in different blocksPaul Koerbitz f9827acMerge pull request #1140 from PhilipRasmussen/idrisdocDavid Christiansen 2693cb1Merge pull request #1139 from ziman/fix-substscDavid Christiansen 443e899Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 4168f05Remove deprecatd classInfo method from REPL.hsPaul Koerbitz 6a99256Remove the REPL Info commandPaul Koerbitz 71bdbbbProperly pretty-print typeclasses for REPL command ':doc'Paul Koerbitz e366017Add two uncovered cases to substSC.Matus Tejiscak a1726a2Merge pull request #1133 from raichoo/replraichoo 29c18d7Merge pull request #1137 from reynir/iota-syntaxDavid Christiansen 42fb8bfMerge branch 'repl'raichoo 34e25c2Merge pull request #1135 from david-christiansen/nicola-stuffDavid Christiansen