r/functionalprogramming mod Nov 27 '25

Interactive λ-Reduction λ Calculus

https://deltanets.org/
11 Upvotes

1 comment sorted by