@hackage copilot-libraries dependencies
13 results
@hackage/copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems.
@hackage/base
Core data structures and operations
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/containers
Assorted concrete container types
@hackage/parsec
Monadic parser combinators
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems.
@hackage/copilot-interpreter
Interpreter for Copilot.
@hackage/base
Core data structures and operations
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/copilot-libraries
Libraries for the Copilot language.
@hackage/test-framework-quickcheck2
QuickCheck-2 support for the test-framework package.
@hackage/test-framework
Framework for running and organising tests, with HUnit and QuickCheck support