Comment by layer8

1 day ago

It’s about term reduction in lambda calculus: https://en.wikipedia.org/wiki/Lambda_calculus#Reduction_stra...

0 comments

layer8

Reply

No comments yet

Contribute on Hacker News ↗