@hackage / opentheory-primitive

Haskell primitives used by OpenTheory packages

Latest1.8

About

Metadata

  • Last updated , by JoeHurd
  • License MIT

  • Maintained by: Joe Leslie-Hurd <joe@gilith.com>

  • Lottery factor: 0

Links

Installation

Readme

The types and values defined in this package extend those in the Prelude to provide the core execution platform assumed by Haskell packages exported from formally verified OpenTheory packages.