owo-lang/minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

语言：Rust · GitHub 星标：123 · Fork：5

话题：dependent-types · programming-language · type-theory

在 GitHub 上查看原仓库