An implementation and DSL for the Carneades argumentation model.
Primary LanguageHaskellOtherNOASSERTION