
A small language built on untyped lambda calculus
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.
AttaLambda is an open-source programming language based on untyped lambda calculus, featuring readable syntax, exact rational numbers, and runtime type checks. It includes a host module for interaction with external systems.
A source that found nothing is a measurement. A source that has not run is a gap. Neither means the launch lacks the thing.