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

[ fix ] Deprecate _==_ for 2.4

dbca737
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-whitespace
succeeded May 6, 2026 in 8s