Popularity
8.9
Declining
Activity
0.0
Stable
84
14
4

Monthly Downloads: 12
Programming language: Haskell
License: GNU General Public License v2.0 only

hoq alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view hoq alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of hoq or a related project?

Add another 'Dependent Types' Package

README

hoq

A language based on homotopy type theory with an interval