@hackage / hyloutils

Very small programs for hybrid logics

Latest1.0

Dependencies

executable:mcheck (5 dependencies)

@hackage / uniplate Help writing simple, concise and fast generic operations.
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / hylolib Tools for hybrid logics related programs
- Version: >=1.4 && <1.5
- License: LicenseRef-GPL
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause

executable:rewriter (3 dependencies)