system_f_check

A simple System F type checker in Rust, supporting ∀-types and ∃-types. A minimal playground for studying polymorphic type systems.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src		src
.gitignore		.gitignore
.history.txt		.history.txt
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
build.rs		build.rs

Provide feedback