Hacker News new | ask | show | jobs
by SupaShotty 234 days ago
Do you think there’s a different basis set of combinators besides S, K that could produce a smaller self interpreter than lambda calculus?