A technique for implementing evaluators of various styles, independent of any particular lambda calculus.
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
GenericEvaluators.hs
README.md

README.md