@hackage / hylolib

Tools for hybrid logics related programs

Latest1.5.5

Dependencies

library:hylolib (7 dependencies)

@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / uniplate Help writing simple, concise and fast generic operations.
- Version: >=1.6.12
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1
- License: BSD-3-Clause