name:          CarneadesDSL
category:      Argumentation, Embedded, AI
version:       1.3
license:       BSD3
cabal-version: >= 1.6
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) 2014 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. Thanks to Stefan Sabev for providing initial
               code for the cyclicity check. 
build-type:    Simple

Extra-Source-Files:
                           CHANGELOG
                           examplecaes.txt

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6,
    fgl                    >= 5.4.2.4,
    parsec                 >= 3

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

source-repository head
  Type:     git
  Location: https://github.com/nebasuke/CarneadesDSL