git.iko.soy/Idris-dev
on master help sign in
history ofc953ff0..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 9d26777Update Matrix.idrCliff Harvey 9713a35Update base.ipkgCliff Harvey 87e56feUpdate base.ipkgCliff Harvey 645c783Add module Data.Matrix to baseCliff Harvey