Lambada icon indicating copy to clipboard operation
Lambada copied to clipboard

verified publisher icon toadharvard
→

Metadata

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

Lambada

An implementaion of Lambda calculus interpreter with small step operational semantic

See tests in interpreter folder for better understanding

TODO:

  1. REPL
  2. Reduce the number of parentheses in the output
  3. Rewrite cringy Russian comments to English
  4. ~~Dance~~

← Metadata

16
Stars
3
Forks
Watchers

Owner

verified publisher icon toadharvard

Metadata

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

Back