git.iko.soy/Idris-dev
on bb87d4d help sign in
bb87d4dmake VectorSpace a subclass of ModuleBlackBrane 1356047update test/reg050/expected [2]BlackBrane 9090a46update test/reg050/expectedBlackBrane 5e8c7faUpdate Matrix.idrCliff Harvey 3409a3eUpdate Matrix.idrCliff Harvey b2f6153Fix Prelude.Algebra.VectorSpaceCliff Harvey 9d26777Update Matrix.idrCliff Harvey 9713a35Update base.ipkgCliff Harvey 87e56feUpdate base.ipkgCliff Harvey 645c783Add module Data.Matrix to baseCliff Harvey e380d0cMerge pull request #1678 from edwinb/unify-fixv0.9.15Edwin 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 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 8e6b636Optimisation optionsEdwin Brady 30580dbRemoval of minor TODOsDavid Raymond Christiansen 03f6913Partially evaluate type class dictionariesEdwin Brady b0e1ecfMerge pull request #1655 from david-christiansen/docsDavid Christiansen 8d486a7Make all code examples typecheckDavid Raymond Christiansen e90316aSupport type errors in docstringsDavid Raymond Christiansen dd3d445Binary instance for Err + binary fixesDavid Raymond Christiansen