@hackage / hoq

A language based on homotopy type theory with an interval type

Latest0.3

Changelog

This release does not have a Changelog