name:          CarneadesDSL
category:      Argumentation, Embedded, AI
version:       1.0
license:       BSD3
cabal-version: >= 1.2
license-file:  LICENSE
author:        Bas van Gijzel, Henrik Nilsson
maintainer:    Bas van Gijzel <bmv@cs.nott.ac.uk>
stability:     experimental
homepage:      http://www.cs.nott.ac.uk/~bmv/CarneadesDSL/
copyright:     Copyright (C) 2012 Bas van Gijzel
synopsis:      An implementation and DSL for the Carneades argumentation model.
description:   An implementation and domain specific language for the Carneades
               argumentation model. See Haskell Gets Argumentative in the 
               Proceedings of Symposium on Trends in Functional Programming 
               (TFP 2012) by Bas van Gijzel and Henrik Nilsson or the 
               package's homepage. 
build-type:    Simple

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6,
    fgl                    >= 5.4.2.4  && < 5.5, 
    Graphalyze             >= 0.13.0.1 && < 0.14
    

  exposed-modules:
    Language.Carneades.CarneadesDSL
    Language.Carneades.ExampleCAES