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