@hackage / cubical

Implementation of Univalence in Cubical Sets

Latest0.2.0

About

Metadata

  • Last updated , by AndersMortberg
  • License MIT
  • Maintained by: mortberg@chalmers.se

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

Cubical implements an experimental simple type checker for type theory with univalence with an evaluator for closed terms.