GitHub - wakame-tech/type-theory-rs: learn Type Theory in Rust

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
.github/workflows		.github/workflows
ast		ast
codes		codes
interpreter		interpreter
std		std
structural-typesystem		structural-typesystem
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
rust-toolchain		rust-toolchain