git.iko.soy/Idris-dev
on master help sign in
history of95dac76..master
compare
f624b93Lifted TODO/FIXME to the issue tracker for Core/TypecheckJan de Muijnck-Hughes 5492e60Removed dead code from Core/TypecheckJan de Muijnck-Hughes 34d1acaAdd %elim to Ordering.Juliusz Chroboczek b83380eAdd %elim to Either.Juliusz Chroboczek 3d9115aAdd %elim to tuples.Juliusz Chroboczek f46f57aRemove a no longer necessary `impossible`Melvar Chen c99cec4Add hsenv directory to gitignoreEdward Amsden 78155beFix use of %flag in test basic001Melvar Chen 27d6b04Call gcc using rawSystemMelvar Chen 528cc11Replace some uses of system with rawSystemMelvar Chen 4c7eaedconsistent format for empty class declarationsBlackBrane 5eb8dffverified monads are applicativesJP Smith 19cb950Fixed typo, removed some extra whitespaceBlackBrane e612c84distinct Module instance for matricesCliff Harvey c71826aadded verified functors/applicativesJP Smith 0a4c35dmerge fixJP Smith efd6f8aMerge pull request #1686 from projedi/compilation-memoryDavid Christiansen b336512added verified monadsJP Smith 6764cffuse Module class in Data.MatrixBlackBrane bb87d4dmake VectorSpace a subclass of ModuleBlackBrane 715940eVerifiedSemigroup, VerifiedMonoid for ListReynir Björnsson 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 c953ff0Add missing case in checkUniqueKind (fixed #1606)Mort Yao 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