v0.2.7.0.1.0

github-actions released this 02 Dec 06:57

· 35 commits to master since this release

0fd129c

What's Changed

agda 2.6.4 by @andreasabel in #22
lsp 2 by @andreasabel in #23

Full Changelog: v0.2.6.4.0.3...v0.2.7.0.1.0

Contributors

andreasabel

Assets 5