Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
std		std
LICENSE		LICENSE
README.md		README.md
equality.1ml		equality.1ml
lib.1ml		lib.1ml
main.1ml		main.1ml
std.1ml		std.1ml
test.1ml		test.1ml
typed-lambda.1ml		typed-lambda.1ml

Repository files navigation

types-1ml

About

Type systems written in 1ML

Report repository

Releases

No releases published

Packages

Contributors

Languages

Roff 100.0%