hoq-0.1.0.0: README.md

hoq
===

A language based on homotopy type theory with an interval