toadharvard/Lambada

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

语言：OCaml · GitHub 星标：18 · Fork：1

话题：functional-programming · lambda-calculus · ocaml

在 GitHub 上查看原仓库