@hackage / dedukti

A type-checker for the λΠ-modulo calculus.

Latest1.1.4

Dependencies

library:dedukti (2 dependencies)

executable:dedukti (14 dependencies)

@hackage / haskell-src-exts Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
- Version: >=1.1.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / haskell-src-exts-qq A quasiquoter for haskell-src-exts.
- Version: >=0.4
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=1.1
- License: BSD-3-Clause
@hackage / wl-pprint The Wadler/Leijen Pretty Printer
- Version: >=1.0
- License: BSD-3-Clause
@hackage / Stream A library for manipulating infinite lists.
- Version: >=0.3 && <0.3.2
- License: BSD-3-Clause
@hackage / stringtable-atom Memoize Strings as Atoms for fast comparison and sorting, with maps and sets
- Version: >=0.0.6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.2
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.9.1.0
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.0
- License: BSD-2-Clause
@hackage / hmk A make alternative based on Plan9's mk.
- Version: >=0.9.7
- License: LicenseRef-GPL
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause

executable:dedukti-tests (4 dependencies)