Skip to content

[ refactor ] v2.4-admissible version of #2952#2980

Merged
Taneb merged 32 commits into
agda:masterfrom
jamesmckinna:issue2845-v2.4
Jun 8, 2026
Merged

[ refactor ] v2.4-admissible version of #2952#2980
Taneb merged 32 commits into
agda:masterfrom
jamesmckinna:issue2845-v2.4

Commits

Commits on Feb 26, 2026

Commits on Feb 27, 2026

Commits on Feb 28, 2026

Commits on Mar 3, 2026

Commits on Apr 16, 2026

Commits on May 6, 2026

Commits on Jun 8, 2026