Show HN: AttaLambda: a language where types and data are made of untyped lambdas
2 days ago
- Built on pure, untyped lambda calculus with unary functions and application.
- Adds readable syntax, exact rational numbers, and runtime type checks.
- Input and output cross a separate host boundary.
- Example defines a square function and uses map to output a list of squares.