batonius/ulc

(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.

语言：Rust · GitHub 星标：7 · Fork：0

话题：lambda-calculus · rust

在 GitHub 上查看原仓库