@hackage / hoq

A language based on homotopy type theory with an interval type

0.3

Security Advisories

No advisories found.