Changelog of @hackage/Agda

Release notes for Agda version

This release fixes a regression in and one in 2.6.4. It aims to be API-compatible with and

Agda supports GHC versions 8.6.5 to 9.8.1.

Closed issues

For, the following issues were closed (see bug tracker):

  • Issue #7148: Regression in concerning with
  • Issue #7150: Regression in 2.6.4 in rewrite with instances