Skip to content

refactor(CombinatoryLogic): extract helpers, simplify proofs

23e7a99
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat(CombinatoryLogic): Partrec → SKI computability #403

refactor(CombinatoryLogic): extract helpers, simplify proofs
23e7a99
Select commit
Loading
Failed to load commit list.