Monthly Downloads: 45
Programming language: Haskell
License: GNU General Public License v2.0 only
hoq alternatives and similar packages
Based on the "Dependent Types" category
Do you think we are missing an alternative of hoq or a related project?
A language based on homotopy type theory with an interval