git.iko.soy/Idris-dev
on master help sign in
history ofcdff1db..master
compare
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 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 30580dbRemoval of minor TODOsDavid Raymond Christiansen a1c7a5aUpdate READMEMarkus Pfeiffer 1a30718Update READMEMarkus Pfeiffer d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer