Skip to content

Update judgment-forms caches to use alpha-equivalence.#103

Open
wilbowma wants to merge 3 commits into
racket:masterfrom
wilbowma:alpha-caches
Open

Update judgment-forms caches to use alpha-equivalence.#103
wilbowma wants to merge 3 commits into
racket:masterfrom
wilbowma:alpha-caches

Changed some missing hashes to α-hashes

bfd6495
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs