Show HN: AttaLambda: a language where types and data are made of untyped lambdas (attalambda.com)

<a href="https://news.ycombinator.com/item?id=49699477">Comments</a>