CarneadesDSL v1.1.0.1 Release Notes
-
🌐 This package version is now compatible with the translation package CarneadesIntoDung. 👀 See http://hackage.haskell.org/package/CarneadesIntoDung/
🔄 Change the use of proof standards to rely on the definition of |PSName| to allow for an easier translation.
🛠 Fix the definition of applicability to include all three conditions.