https://github.com/thma/lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine

combinator combinatory-logic compiler functional-programming graph-algorithms graph-reduction haskell lambda-abstractions lambda-calculus st-monad stref

Last synced: 22 Aug 2025