a language where types and data are made of untyped lambdas
A language where types and data are made of untyped lambdas.