Product
AttaLambda
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 outs…
About
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.
Discovery history
- Product Hunt 新品
Discuss this product