agda/agda-stdlib Issues
lib-2.0-rc1: NonZero complication
Closed 3How to use README files?
Closed 2Rename preorder reasoning syntax
Closed 6Release v1.7.3
Closed 111.7.2 errors with Agda 2.6.4
Closed 8Un-deprecating `inspect`, ctd.
Closed 1Export `return` from `IO.Primitive`
Closed 16Refactoring uses of `with`
UpdatedIsomorphism of Structures in Algebra
Updated 3Data.Fin and with statement
Closed 7monadic `join` for `Vec`
Closed 1