GitHub repository: toadharvard/Lambada
Primary language: OCaml
Created: 2024-02-05T17:08:49Z
Description: Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies