b778557Merge branch 'markuspf-update-readme'Edwin Brady12 years ago df4cd71Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readmeEdwin Brady12 years ago ca0bcf3Merge pull request #1672 from ziman/simplify-erasureEdwin Brady12 years ago 21e77f3Merge pull request #1670 from jfdm/fix/foc/pprintEdwin Brady12 years ago ddb2a54Merge pull request #1669 from soimort/fix-runIdeSlaveCommandEdwin Brady12 years ago 000bfa0Extract java backend and dependencies to new repoEdwin Brady12 years ago f98ad29Extract java backend and dependencies to new repoEdwin Brady12 years ago 582649cMerge pull request #1674 from edwinb/uniquename-setEdwin Brady12 years ago f866fecUse Set for unique name checking for efficiencyEdwin Brady12 years ago 7f4c874Remove dep sets from bound variables.Matus Tejiscak12 years ago 03a0494Improved documentation.Jan de Muijnck-Hughes12 years ago 1542d35Added documentation for the pprint command in the Idris REPL.Jan de Muijnck-Hughes12 years ago 6f5a244Add missing case in runIdeSlaveCommand (fixed #1668)Mort Yao12 years ago 7a1b64dMerge pull request #1667 from edwinb/partial-evalEdwin Brady12 years ago 3971cb9More partial evaluation improvementsEdwin Brady12 years ago fde21b7Merge pull request #1666 from edwinb/universesEdwin Brady12 years ago d34472aFaster universe checkingEdwin Brady12 years ago 64bd27eMerge pull request #1662 from Melvar/pureM-constructorEdwin Brady12 years ago 28edc0cEliminate with_val by generalizing valueMelvar Chen12 years ago a1c7a5aUpdate READMEMarkus Pfeiffer12 years ago 1a30718Update READMEMarkus Pfeiffer12 years ago d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer12 years ago