rudynicolop/Lambda-Calculi-OCaml

Lambda Calculus implementations in OCaml.

语言：OCaml · GitHub 星标：4 · Fork：0

话题：educational · lambda-calculus · lambda-cube · ocaml · system-f · system-f-omega

在 GitHub 上查看原仓库