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

Safe HaskellNone
LanguageHaskell98

Language.Carneades.Cyclic

Documentation

cyclic :: DynGraph g => g a b -> Bool Source