Repository navigation

Point release of v2.4 that supports agda-2.9 - #3126

Open

Taneb wants to merge 6 commits into

v2.4-releasefrom

Open

Point release of v2.4 that supports agda-2.9#3126
Taneb wants to merge 6 commits into
v2.4-releasefrom
v2.4-dev

Commits on Oct 19, 2026
- Remove fixity declarations for closed operators (#3115)
  
  andreasabel
  authored and
  Taneb
  committed
  e12403d
- Remove Data.Irrelevant.recompute and _>>=_
  Taneb
  committed
  7aa8589
- Hide warning in Data.Record
  Taneb
  committed
  d58a414
- Remove apparently redundant pattern keyword in Reflection.AST.Traversal.Cxt
  Taneb
  committed
  60140b8
Commits on Oct 29, 2026
- [ ci ] bump Agda version
  gallais
  committed
  3671333
- [ fix ] change re-export list
  gallais
  committed
  5e68138