Lambda Calculus Reducer

by rdococ
See Code Download Embed
A reducer for the lambda calculus, implemented in Snap! in an impurely functional style.

- Unique IDs are used to simplify alpha-conversion.
- The normal-order reduction strategy is used.
- The resulting terms are pure data and can be serialized or converted into other languages.

Created February 23, 2022

Last updated February 23, 2022

Published February 23, 2022