@hackage / Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

0.2023.8.3

Security Advisories

No advisories found.