← Back to context

Comment by layer8

21 hours 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 ↗