AttaLambda — A small language built on lambda calculus
attalambda.com
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
立即前往
返回首页
