git.iko.soy/Idris-dev
on master help sign in
history ofd8a6925..master
compare
475eb57Make `and`, `or`, `any`, and `all` short-circuit from left-to-right, as is more natural.bmsherman 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 75b8081Add laziness to values which aren't evaluated in all branches of a function.bmsherman 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 31ca891Parse _|_ as a name in :docDavid Raymond Christiansen 1e1f648Added IdrisDoc test which verifies inclusion of abstract and public namespace membersPhilip Rasmussen e196594Updated idrisdoc006 to be more throughlyPhilip Rasmussen 92dcd22Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 4c452e7Rule out more cases in 'recoverable'Edwin Brady 373d40cUpdated test idrisdoc006 to give more information usable on failure.Philip Rasmussen 5265109Allow comments in .ipkg filesDavid Raymond Christiansen cd92ae8Namespaces only containing private members is now correctly considered emptyPhilip Rasmussen 940da80Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen fd1219bMerge pull request #1130 from jonsterling/fix/reify-intro-inductionEdwin Brady 4ed706aMerge pull request #1125 from david-christiansen/lidrEdwin Brady 1a9ab34Merge pull request #1119 from KesterTong/fix/master/randomEdwin Brady