Skip to content

Commit 0e97e2e

Browse files
jamesmckinnajamesmckinna
authored
reset stdlib for v2.4 (agda#2775)
* reset: `CHANGELOG` for v2.4 * fix: version number * fix: version number * fix: version number
1 parent 15a6bbe commit 0e97e2e

File tree

4 files changed

+15
-574
lines changed

4 files changed

+15
-574
lines changed

0 commit comments

Comments
 (0)