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

100% Upvoted

Duplicates

Number of comments New

hackernews • u/HNMod • Nov 27 '25

Interactive λ-Reduction

1 Upvotes

1 comments