@hackage / hoq

A language based on homotopy type theory with an interval type

Latest0.3

About

Metadata

  • Last updated , by valis
  • License GPL-2.0-only
  • Maintained by: valery.isaev@gmail.com

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

hoq

A language based on homotopy type theory with an interval