Skip to content

[Builtins] Add constant casing for builtin unit and pair#7221

Merged
SeungheonOh merged 15 commits into
masterfrom
sho/6602-unitpair
Sep 2, 2025
Merged

[Builtins] Add constant casing for builtin unit and pair#7221
SeungheonOh merged 15 commits into
masterfrom
sho/6602-unitpair

blacklist pair/unit casing conformance on agda

d4bdf6e
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-darwin.required succeeded Sep 2, 2025 in 0s

Build succeeded

0 failed steps

View more details on IOG Hydra