LambAda
Concise Specification
Verbose Specification
Documentation
Bootstrapper
Github
Try LambAda!
a lightweight, flexible language bootstrapped from the Iota combinator
LambAda Lessons:
Combinatory Logic Lessons:
Samples:
Output — Attempting to interpret your code as a
Bool
,
Nat
or string (
List
of
Nat
):
Further Information
Language Documentation
Reference Implementation
Download / Contribute