AndyShiue/pts

implementation of Pure Type Systems (PTS) in Rust.

语言：Rust · GitHub 星标：53 · Fork：1

话题：lambda-calculus · rust

在 GitHub 上查看原仓库