git.iko.soy/Idris-dev
on 000bfa0 help sign in
000bfa0Extract 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 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 f5f4fbeMerge pull request #1635 from japesinator/add_zip3_vectsEdwin Brady 60ee95bMerge pull request #1612 from johnny-john/docsnippetsEdwin Brady 390b260Implement the VectorSpace structure in the PreludeEdward O'Callaghan 4034b10Implement the Field structure in the PreludeEdward O'Callaghan 6b1f829Updated contributed.md.Jan de Muijnck-Hughes b6c9730Prelude/Algebra.idr: Fix typo in commentEdward O'Callaghan e78c2bbMerge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady 93aa39cParameters should be made 'static'Edwin Brady