@hackage CarneadesIntoDung dependencies

6 results

library:CarneadesIntoDung (6 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.3 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause>=5.4.2.4

@hackage/cmdargs

Command line argument processing

BSD-3-Clause>=0.10.2

@hackage/Dung

An implementation of the Dung argumentation frameworks.

BSD-3-Clause>=1.0.0.1

@hackage/CarneadesDSL

An implementation and DSL for the Carneades argumentation model.

BSD-3-Clause>=1.3