@hackage copilot-interpreter dependencies
11 results
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/pretty
Pretty-printing library
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/copilot-interpreter
Interpreter for Copilot.
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
@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