TAG

Readable

1 published project carries the Readable tag. Every entry links to a dated evidence record.

Attalambda

AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks.