AttaLambda - A small language built on untyped lambda calculus

Show HN: AttaLambda: a language where types and data are made of untyped lambdas

AttaLambda is a minimalist programming language where all types and data are constructed from pure, untyped lambda calculus. It provides readable syntax, exact rational numbers, and runtime type checks, making lambda calculus accessible for practical coding. With a simple example like defining a square function and mapping it over a list, you can quickly see results. Ideal for learning functional programming concepts or exploring the foundations of computation. Try it at attalambda.com to write elegant, lambda-based code.