@hackage opentheory-primitive1.3

Haskell primitives used by OpenTheory packages

  • Categories

    • License

      MIT

    • Maintainer

      Joe Leslie-Hurd <joe@gilith.com>

    • Links

    • Versions

    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.