Hacker News new | ask | show | jobs
by layer8 208 days ago
It’s about term reduction in lambda calculus: https://en.wikipedia.org/wiki/Lambda_calculus#Reduction_stra...