2
lorentz
2y

I had to explain lambda calculus to some maths majors so here's an interactive lambda shell:
https://lbfalvy.github.io/lambda
I still need explanations about Church-numerals, conslists and the Y combinator.

Comments
  • 0
    Update: the explanations are essentially complete, if you write a new one I'll add it.
Add Comment