Show HN: Programming with Pure Lambda Calculus

That is really cool. Lambdas all the way down.<p>The encoding of binary and ternary was interesting (following from the link at the bottom of the page). It does make me curious why ternary was chosen as the default.

I await the day an efficient lambda calculus reducer is laid upon us.<p>Essentially it&#x27;d be massively parallel.

Based. Upvoted.

OK but why? Is this for fun or profit?

Neat!