/stagedtt

🪆 A Staged Type Theory

Primary LanguageOCamlApache License 2.0Apache-2.0

Stargazers