Implementing a small functional language with a combinator based graph-reduction machine
haskell compiler functional-programming graph-algorithms lambda-calculus combinator combinatory-logic graph-reduction lambda-abstractions stref st-monad
-
Updated
Dec 15, 2023 - Haskell