CarneadesDSL-1.3: An implementation and DSL for the Carneades argumentation model.

Safe HaskellNone

Language.Carneades.Cyclic

Documentation

cyclic :: DynGraph g => g a b -> BoolSource