Launched this week
AttaLambda

AttaLambda

A small language built on untyped lambda calculus

2 followers

Visit website
AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks, along with a simple host module for letting the pure lambdas speak to the outside world.

AttaLambda makers

Here are the founders, developers, designers and product people who worked on AttaLambda

Kyle SerrecchiaSoftware Engineer. Building Mirafold.
AttaLambdaAttaLambda