@hackage opentheory-primitive1.7

Haskell primitives used by OpenTheory packages

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.