Closed Mar 30, 2025
Due by July 1, 2023
•Closed Agda 2.6.4, released 2023-10-06.
100% complete
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.