@hackage / judge

Tableau-based theorem prover for justification logic.

Latest0.1.3.0

Dependencies

library:judge (16 dependencies)

@hackage / texmath Conversion between math formats.
- Version: >=0.10.1 && <0.11.0
- License: GPL-2.0-only
@hackage / terminal-size Get terminal window height and width
- Version: ==0.3.2.1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.8.1 && <0.10.8.3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: ==1.2.2.2
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: ==0.5.2.0
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=0.11.3.0 && <1.2.3.1
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: ==0.2.8.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / yaml Support for parsing and rendering YAML documents.
- Version: >=0.8.23 && <0.8.26
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.11.0.0 && <0.12.0.2
- License: BSD-3-Clause
@hackage / ansi-wl-pprint The Wadler/Leijen Pretty Printer for colored ANSI terminal output
- Version: >=0.6.7.3 && <0.6.8.1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.7.1 && <0.5.10.3
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: ==2.2.1
- License: BSD-3-Clause
@hackage / pointedlist A zipper-like comonad which works as a list, tracking a position.
- Version: ==0.6.1
- License: BSD-3-Clause
@hackage / utf8-string Support for reading and writing UTF8 Strings
- Version: ==1.0.1.1
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version: >=0.13.1.0 && <0.13.3.0
- License: BSD-3-Clause

executable:judge (10 dependencies)