Skip to content

fix linting error

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

feat(LambdaCalculus): basics of named representation (alpha equivalence and capture-avoiding substitution) #458

fix linting error
6118958
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Apr 14, 2026 in 14m 3s