git.iko.soy/Idris-dev
on 87e56fe help sign in
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 0ac10a8Merge pull request #1657 from raichoo/masterraichoo 1edee17javascript: #1641 add missing primitiveraichoo 466a2e7Merge pull request #1654 from edwinb/partial-evalEdwin Brady 08b2668Merge pull request #1653 from japesinator/add_zip3_streamsEdwin Brady 5ce2c23Merge pull request #1651 from Melvar/pureM-functionEdwin Brady 22eb6a9Merge pull request #1638 from johnny-john/lambdastyleEdwin Brady 72bdda6Merge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady 41ad3bdMerge branch 'master' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady