Interactive λ-Reduction
https://deltanets.org/
#HackerNews #Interactive #λ-Reduction #λCalculus #FunctionalProgramming #DeltaNets
Hacker News