dark-flames / ty-ops Public

Type level simply typed lambda calculus in rust

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
src		src
tests		tests
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md

Repository files navigation

ty-ops

Type level operation library in rust.

Type level simply typed lambda calculus in rust

No releases published

No packages published