Ask HN: Has Anyone used pure Lambda Calculus for anything serious? | Heykuki News