Get the latest tech news
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
None
Or read this on Hacker News
