@hackage copilot-language dependencies
19 results
@hackage/data-reify
Reify a recursive data structure into an explicit graph.
@hackage/copilot-interpreter
Interpreter for Copilot.
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/array
Mutable and immutable arrays
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/copilot-theorem
k-induction for Copilot.
@hackage/containers
Assorted concrete container types
@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-core
An intermediate representation for Copilot.
@hackage/test-framework-hunit
HUnit support for the test-framework package.
@hackage/HUnit
A unit testing framework for Haskell
@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
@hackage/pretty
Pretty-printing library