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