New release?
Closed this issue · 1 comments
jonaprieto commented
Are you considering publishing a release soon? the latest seems pretty old.
If so, let me know. I'm indexing your library for agda-pkg.
astump commented
We have some additions we could make, but for now I am not planning a new release. Maybe in the summer. Thank you for indexing the library!