@hackage / caledon

a logic programming language based on the calculus of constructions

Latest3.2.2.0

Dependencies

executable:caledon (7 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version: >=3.0
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.0 && <5.0
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0 && <3.0
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3 && <1.0
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <1.0
- License: BSD-3-Clause
@hackage / cpphs A liberalised re-implementation of cpp, the C pre-processor.
- Version: >=1.0 && <2.0
- License: LicenseRef-LGPL
@hackage / parsec Monadic parser combinators
- Version: >=3.0 && <4.0
- License: BSD-2-Clause