git.iko.soy/Idris-dev
on master help sign in
history of4c7eaed..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 5eb8dffverified monads are applicativesJP Smith c71826aadded verified functors/applicativesJP Smith 0a4c35dmerge fixJP Smith efd6f8aMerge pull request #1686 from projedi/compilation-memoryDavid Christiansen b336512added verified monadsJP Smith 715940eVerifiedSemigroup, VerifiedMonoid for ListReynir Björnsson e63be93Merge pull request #1687 from RyanGlScott/masterDavid Christiansen 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 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 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 034b415Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 000bfa0Extract java backend and dependencies to new repoEdwin Brady