GitHub - kyagrd/tiper: Type Inference Prototyping Engine from Relational specifications of type systems

Name		Name	Last commit message	Last commit date
Latest commit kyagrd Update index.md Jun 24, 2020 badfb84 · Jun 24, 2020 History 44 Commits
_config.yml		_config.yml
index.md		index.md

About

Type Inference Prototyping Engine from Relational specifications of type systems

kyagrd.github.io/tiper/

No releases published

No packages published