Is like, lib for doing some lambda calculus things. It's roughly equivalent to what I happen to need for putting a lambda calculus evaluator in a text editor. Does normal order stuff.
Is like, lib for doing some lambda calculus things. It's roughly equivalent to what I happen to need for putting a lambda calculus evaluator in a text editor. Does normal order stuff.