@hackage / control-invariants

Invariants and contract monitoring

0.1.0.0

Dependents

@hackage / axiomatic-classes Specify axioms for type classes and quickCheck all available instances
- Version: 0.1.0.0
- Last uploaded: 9 years ago
- License: MIT
@hackage / existential Existential types with lens-like accessors.
- Version: 0.2.0.0
- Last uploaded: 9 years ago
- License: MIT