CarneadesDSL-1.3: An implementation and DSL for the Carneades argumentation model.
Language.Carneades.Cyclic
cyclic :: DynGraph g => g a b -> BoolSource