Tiny Lambda Calculus
Project summary
A tiny untyped lambda calculus written on the plane from Indianapolis to Newark, with no WiFi and nothing else to do.
A tiny untyped lambda calculus written on the plane from Indianapolis to Newark, with no WiFi and nothing else to do.