CS442

λ-calculus solver

Principles of Programming Languages

Winter 2022

University of Waterloo

THIS IS A PAST TERM.
INFORMATION HERE IS OUT OF DATE.

Homepage
Schedule
Outline
Course Notes
Assignments
Tools
Piazza

Definitions:

Expression:

Display intermediate steps:
Show box format output:
Evaluation strategy:

Result:

Errors:

© Gregor Richards. | Design by TEMPLATED.