/lambda-reduce

Lambda Reduction in Elm adapted from "Implementing a lambda calculus", Chapter 9 of "ML for the Working Programmer" by Larry C. Paulson (Cambridge University Press)

Primary LanguageStandard MLMIT LicenseMIT

lambda-reduce

Lambda Reduction in Elm adapted from "Implementing a lambda calculus", Chapter 9 of "ML for the Working Programmer" by Larry C. Paulson (Cambridge University Press)