git.iko.soy/Idris-dev
on 799cc23 help sign in
799cc23Merge pull request #1680 from BlackBrane/masterEdwin Brady 4c7eaedconsistent format for empty class declarationsBlackBrane 19cb950Fixed typo, removed some extra whitespaceBlackBrane e612c84distinct Module instance for matricesCliff Harvey efd6f8aMerge pull request #1686 from projedi/compilation-memoryDavid Christiansen 6764cffuse Module class in Data.MatrixBlackBrane bb87d4dmake VectorSpace a subclass of ModuleBlackBrane 1356047update test/reg050/expected [2]BlackBrane 9090a46update test/reg050/expectedBlackBrane 5e8c7faUpdate Matrix.idrCliff Harvey 3409a3eUpdate Matrix.idrCliff Harvey e63be93Merge pull request #1687 from RyanGlScott/masterDavid Christiansen b2f6153Fix Prelude.Algebra.VectorSpaceCliff Harvey 3c8f4a8Bump lens upper version boundsRyanGlScott 647eaedReplace a sequence of <|> with choice.Alexander Shabalin f2edb7dRestrict PE for class dictionariesEdwin Brady 9d26777Update Matrix.idrCliff Harvey 9713a35Update base.ipkgCliff Harvey c25f72cUpdate versionv0.9.15.1Edwin Brady 33f8cdaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7037cb0Set reduction limits on non-total functions in PEEdwin Brady f8a6746Merge pull request #1679 from edwinb/partial-evalEdwin Brady 87e56feUpdate base.ipkgCliff Harvey 645c783Add module Data.Matrix to baseCliff Harvey 31fef0dMerge branch 'master' of github.com:edwinb/Idris-dev into partial-evalEdwin Brady b6c54b0Fix transforms under lambdasEdwin Brady 16f7dd7More sensible hash function for specialised namesEdwin Brady e380d0cMerge pull request #1678 from edwinb/unify-fixv0.9.15Edwin Brady 034b415Merge branch 'master' of github.com:edwinb/Idris-devEdwin 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 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