@hackage smtlib2-debug dependencies

10 results

An efficient packed Unicode text type.

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

A type-safe interface to communicate with an SMT solver.

A type-safe interface to communicate with an SMT solver.

Dependent sum type

Dependent finite maps (partial dependent products)

Efficient parsing and serialisation of S-Expressions.

Simple ANSI terminal support