Light mode
CS442
λ-calculus solver
Principles of Programming Languages
Winter 2021
University of Waterloo
Homepage
Schedule
Outline
Course Notes
Assignments
Tools
Piazza
Definitions:
Expression:
Display intermediate steps:
Show box format output:
Evaluation strategy:
AOR
AOE
NOR
Result:
Errors:
© Gregor Richards. | Design by
TEMPLATED
.