Hacker News new | ask | show | jobs
by tromp 115 days ago
An implicit K suffices for universality, as in \x\y\z. x z (y (\w.z))