git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/libs/contrib/Control
2 folders, 3 files
../ Algebra/Separate numeric/algebraic matrix ops from basic matrix functions Isomorphism/More library rearranging Algebra.idrMake clear that sum' is a synonym for concat Partial.idrMerge branch 'until' of https://github.com/mrmonday/Idris-dev into mrmonday-until WellFounded.idrDivision and modulus for Nat, plus associated utilities