@hackage yices dependencies

5 results

library:yices (5 dependencies)

@haskell/template-haskell

Support library for Template Haskell

@haskell/process

Process libraries

@haskell/parsec

Monadic parser combinators

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/th-lift

Derive Template Haskell's Lift class for datatypes.