@hackage / helf

Typechecking terms of the Edinburgh Logical Framework (LF).

Latest1.0.20240318

Dependencies

executable:helf (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.3 && <1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1 && <3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.0.0.1 && <3
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2 && <1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3 && <1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.0.0 && <1
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.0 && <2
- License: BSD-3-Clause