git.iko.soy/Idris-dev
on b778557 help sign in
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 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 e09ef82Improve PE for class constraints and HOFsEdwin Brady 02de034Undo log level 0!Edwin Brady 7a23995Extend PE to look under pattern matching defsEdwin Brady 6f9d433Parameters should be made 'static'Edwin Brady ea3956badded zipWith3 and associated functions for streamsJP Smith c0ac681Turn pureM into a functionMelvar Chen c0acdc5Merge branch 'master' into lambdastylejohnny-john 24afd9cMerge pull request #1644 from alterapraxisptyltd/algebraEdwin Brady cd7e946Merge pull request #1645 from jfdm/update-contribEdwin Brady e0e2e4cMerge pull request #1636 from alterapraxisptyltd/issue-1610Edwin Brady