git.iko.soy/Idris-dev
on 37845e4 help sign in
Idris-dev/libs/contrib/Control
2 folders, 3 files
../ Algebra/Split numeric instances of algebraic classes into their own module Isomorphism/More library rearranging Algebra.idrAdd sum, product, power for algebraic classes Partial.idrMerge branch 'until' of https://github.com/mrmonday/Idris-dev into mrmonday-until WellFounded.idrDivision and modulus for Nat, plus associated utilities