git.iko.soy/Idris-dev
on 127db00 help sign in
127db00Lifted a FIXME from Core/ProofStateJan de Muijnck-Hughes f624b93Lifted TODO/FIXME to the issue tracker for Core/TypecheckJan de Muijnck-Hughes 5492e60Removed dead code from Core/TypecheckJan de Muijnck-Hughes efd6f8aMerge pull request #1686 from projedi/compilation-memoryDavid Christiansen e63be93Merge pull request #1687 from RyanGlScott/masterDavid Christiansen 3c8f4a8Bump lens upper version boundsRyanGlScott 647eaedReplace a sequence of <|> with choice.Alexander Shabalin f2edb7dRestrict PE for class dictionariesEdwin Brady c25f72cUpdate versionv0.9.15.1Edwin Brady 33f8cdaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7037cb0Set reduction limits on non-total functions in PEEdwin Brady f8a6746Merge pull request #1679 from edwinb/partial-evalEdwin Brady 31fef0dMerge branch 'master' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady b6c54b0Fix transforms under lambdasEdwin Brady 16f7dd7More sensible hash function for specialised namesEdwin Brady e380d0cMerge pull request #1678 from edwinb/unify-fixv0.9.15Edwin Brady 034b415Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 37b11f8Unification fix for chains of solutionsEdwin Brady 3172f48Merge pull request #1677 from edwinb/pe-errorEdwin Brady c40dd4dMerge pull request #1676 from edwinb/elimerrEdwin Brady 799a105Fix missing case in PartialEval.hsEdwin Brady 9fd9de7Proper error for missing eliminatorEdwin Brady ec0efe7Merge pull request #1675 from edwinb/javaectomyEdwin Brady b778557Merge branch 'markuspf-update-readme'Edwin Brady df4cd71Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readmeEdwin Brady ca0bcf3Merge pull request #1672 from ziman/simplify-erasureEdwin Brady 21e77f3Merge pull request #1670 from jfdm/fix/foc/pprintEdwin Brady ddb2a54Merge pull request #1669 from soimort/fix-runIdeSlaveCommandEdwin Brady 000bfa0Extract java backend and dependencies to new repoEdwin Brady f98ad29Extract java backend and dependencies to new repoEdwin Brady 582649cMerge pull request #1674 from edwinb/uniquename-setEdwin Brady f866fecUse Set for unique name checking for efficiencyEdwin Brady 7f4c874Remove dep sets from bound variables.Matus Tejiscak 03a0494Improved documentation.Jan de Muijnck-Hughes 1542d35Added documentation for the pprint command in the Idris REPL.Jan de Muijnck-Hughes 6f5a244Add missing case in runIdeSlaveCommand (fixed #1668)Mort Yao 7a1b64dMerge pull request #1667 from edwinb/partial-evalEdwin Brady 3971cb9More partial evaluation improvementsEdwin Brady fde21b7Merge pull request #1666 from edwinb/universesEdwin Brady d34472aFaster universe checkingEdwin Brady 64bd27eMerge pull request #1662 from Melvar/pureM-constructorEdwin Brady a5cb996Merge pull request #1663 from edwinb/partial-evalEdwin Brady a33670bPropagate static flags into with blocksEdwin Brady 1dea97bMerge pull request #1661 from david-christiansen/issue/1626Edwin Brady ed0bfcaMerge pull request #1660 from david-christiansen/issue/1656Edwin Brady ab2a29fMerge pull request #1658 from david-christiansen/todo-removalEdwin Brady cdff1dbMerge pull request #1659 from edwinb/partial-evalEdwin Brady 28edc0cEliminate with_val by generalizing valueMelvar Chen e441024No longer show __infer in pretty-printed errorsDavid Raymond Christiansen e6bbd1fMake do blocks require an expressionDavid Raymond Christiansen