opentheory-primitive
Version 1.8 revision 0 uploaded by JoeHurd.
Package meta
- Synopsis
- Haskell primitives used by OpenTheory packages
- Description
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.
- Author
- Joe Leslie-Hurd <joe@gilith.com>
- Bug reports
- n/a
- Category
- Formal Methods
- Copyright
- n/a
- Homepage
- http://www.gilith.com/research/opentheory/
- Maintainer
- Joe Leslie-Hurd <joe@gilith.com>
- Package URL
- n/a
- Stability
- n/a