Repl for Untyped Lambda Calculus

Quick update: I released my mgree/trampoline package. I don’t have time just now to try adapting your nifty REPL, but would be game to consult if you wanted to give it a whack. I wrote up a monadic evaluator that’s probably the closest to the style you’ve been writing in.

1 Like