Interactive λ-Reduction

https://deltanets.org/

#HackerNews #Interactive #λ-Reduction #λCalculus #FunctionalProgramming #DeltaNets