Open jamesmckinna opened 1 month ago
The following don't need changes now but we should make issues for them so we don't lose track:
Originally posted by @Taneb in https://github.com/agda/agda-stdlib/pull/2383#pullrequestreview-2060264754
The following don't need changes now but we should make issues for them so we don't lose track:
Originally posted by @Taneb in https://github.com/agda/agda-stdlib/pull/2383#pullrequestreview-2060264754