@hackage / beautifHOL

A pretty-printer for higher-order logic

Latest0.11

Dependencies

executable:beautifHOL (4 dependencies)

@hackage / base Core data structures and operations
- Version:
- 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:
- License: BSD-3-Clause
@hackage / haskell98 Compatibility with Haskell 98
- Version:
- License: BSD-3-Clause