ucsd-progsys / elsa

Elsa is a lambda calculus evaluator

alpha-rename enables beta-reduction

ranjitjhala opened this issue 4 years ago · comments

Ranjit Jhala commented 4 years ago

https://piazza.com/class/k51a7s2xjuy736?cid=99