[ fix ] `CHANGELOG` ahead of v2.4#2974

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

jamesmckinna:fix-CHANGELOG-v2.4

Apr 13, 2026

Commits on Apr 8, 2026

[ fix ] `CHANGELOG`
jamesmckinna
committed

Commits on Apr 9, 2026

fix: 'weird quotes', plus some more reordering
jamesmckinna
committed

Commits on Apr 10, 2026

fix: stupid unfolding of a definition in lemma statement
jamesmckinna
committed