Skip to content

fix: notation typeclass for substitution

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

feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction #475

fix: notation typeclass for substitution
91db832
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
ci-checks
failed Apr 28, 2026 in 6m 13s