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

Open

wilbowma wants to merge 3 commits intoracket:masterfrom wilbowma:alpha-caches

+39-29

Commits on May 25, 2017

Update apply-reduction-relation* to be sensitive to alpha-equivalence
howell
committed

Commits on May 27, 2017