hoq (hackage):   Package maintainers  For package maintainers and hackage trustees  Candidates    A language based on homotopy type theory with an interval
Keywords: dependent-types|gpl|program