cdparks/lambda-machine

A simple UI for evaluating expressions in the untyped lambda calculus

🍓 Chris[topher [D.]] Parks

💙 He/him, engineer at CrowdStrike

❤️ Résumé, various links @cdparx.com

💛 Explore the untyped lambda calculus at λmachine

lambda-machine's Issues

Support PureScript 0.11?

Consider supporting PureScript 0.11?

No Data.PrettyPrint module?

Hi,

I'm trying to build lambda-machine and I get an error that, for example, Data.Syntax is trying to import the module Data.PrettyPrint but there's no such module in the repo.

Explicit α-conversion

α-captures are correctly handled in terms of semantics, but the displayed expression doesn't display the α-conversion.

4) z y z
3) (λx. x y) z z
2) (λy. (λx. x y) y z) z
1) (λx. λy. x y z) (λx. x y) z

At step 2 we should have something like (λn. (λx. x y) n z) z so that the conversion is made explicit.

A minor problem, but wanted to make note of it in case there are people confused. It should be trivial to fix.