No project screenshot yet
Attalambda
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.
Attalambda
1 published project carries the Attalambda tag. Every entry links to a dated evidence record.