Open
Description
Will try and make a release of v2.3 to coincide with the release of Agda 2.8.0.
As part of this we will need to switch over the master branch to the release candidate. Will try and do that this weekend.
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests