Skip to content

Remove stale (1.x) deprecation warnings and their associated names#3034

Open
silas-hw wants to merge 22 commits into
agda:masterfrom
silas-hw:stale-deprecation
Open

Remove stale (1.x) deprecation warnings and their associated names#3034
silas-hw wants to merge 22 commits into
agda:masterfrom
silas-hw:stale-deprecation