GitHub - ReubenHillyard/alpha: Type-checking and type-inference for a spartan dependent type theory. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.github/workflows		.github/workflows
src		src
Cargo.toml		Cargo.toml

About

Type-checking and type-inference for a spartan dependent type theory.

reubenhillyard.github.io/alpha/

dependent-types dependent-type-theory

Report repository

Contributors

Languages

Rust 100.0%