GoKawiilAttaLambda: New Programming Language Built Entirely from Untyped Lambda Calculus
A developer released AttaLambda, a small experimental programming language whose core computation is built purely from unary functions and application in untyped lambda calculus. It layers on readable syntax, exact rational number support, and runtime type checks, while keeping input and output handled through a separate host boundary.