Show HN: AttaLambda: a language where types and data are made of untyped lambdas
Summary
AttaLambda is a small language built on pure, untyped lambda calculus. It adds readable syntax, exact rational numbers, and runtime type checks, with input/output crossing a separate host boundary. The project is open source under Apache License 2.0, and the page includes a simple example that maps a square function over a list and prints [1, 4, 9, 16].