v0.2.7.0.1.1

github-actions released this 04 Dec 10:12

· 17 commits to master since this release

5e4da3b

What's Changed

Upgrade Agda to v2.7.0.1 by @banacorn in #28
Integration testing for the language server by @banacorn in #29

New Contributors

@banacorn made their first contribution in #28

Full Changelog: v0.2.7.0.1.0...v0.2.7.0.1.1

Contributors

banacorn

Assets 4