Skip to content

feat(LocallyNameless/Untyped): make `LcAt` and `LC` decidable

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

feat: decidable LcAt and LC #572

feat(LocallyNameless/Untyped): make `LcAt` and `LC` decidable
d93e414
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded May 20, 2026 in 5m 9s