GitHub repository: wakame-tech/type-theory-rs
Primary language: Rust
Description: learn Type Theory in Rust