AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks, along with a simple host module for letting the pure lambdas speak to the outside world.