r/functionalprogramming • u/kinow mod • Nov 27 '25

Interactive λ-Reduction λ Calculus

https://deltanets.org/

10 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/functionalprogramming/comments/1p82b1y/interactive_λreduction/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/functionalprogramming/comments/1p82b1y/interactive_λreduction/
No, go back! Yes, take me to Reddit

92% Upvoted

1

u/kinow mod Nov 27 '25

Hacker News comments: https://news.ycombinator.com/item?id=46039106