agda/agda-stdlib Issues
Legacy HTML pages
Updated 1Mechanize the Algebra hierarchy
Updated 10Adding new reasoning combinators
Updated 2`Data.String` missing `map`
Closed 2`⊥` is `Recomputable`
Updated 3Additions to `Data.Rational.*`
Closed 3updating `README.md`
Closed 3Define `LocalRing`
Updated 1Tidying up `Data.Digit`
UpdatedRedefining `Data.Nat.DivMod.DivMod`
Closed 10Redundant `zero` in `IsRing`
Closed 5