v2.1.0

Marketplace

Marketplace

wenkokke released this 01 Nov 15:33

· 39 commits to main since this release

What's Changed

Add support for Agda 2.6.4
Add support for agda-stdlib 1.7.3
Fix releases for Agda 2.5.3 and 2.5.4.2 on macOS

This release uses the same binaries as v2.0.0.

Assets 2