Skip to content

[ fix ] Deprecate _==_ for 2.4#2994

Merged
Taneb merged 1 commit into
agda:masterfrom
gallais:char-test
May 29, 2026
Merged

[ fix ] Deprecate _==_ for 2.4#2994
Taneb merged 1 commit into
agda:masterfrom
gallais:char-test

Commits

Commits on May 6, 2026