v0.2.6.3.0

github-actions released this 23 Nov 10:43

· 131 commits to master since this release

6b0386c

What's Changed

v0.2.6.3.0 Build with and embed Agda-2.6.3 by @andreasabel in #21

Full Changelog: v0.2.6.2.2.1...v0.2.6.3.0

Contributors

andreasabel

Assets 5