git.iko.soy/Idris-dev
on da672ec 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.idrChanged scoping rules for unbound implicits. Partial.idrMerge branch 'until' of https://github.com/mrmonday/Idris-dev into mrmonday-until WellFounded.idrDivision and modulus for Nat, plus associated utilities