hoq
June 5, 2014
ยท
View on GitHub
A language based on homotopy type theory with an interval