Changelog for CarneadesDSL-1.3If this renders badly as markdown, see the plain text version
1.2 => 1.3
This package has been extended and now includes:
An Input module, allowing files to be parsed.
An example of the usage of this module.
184.108.40.206 => 1.2
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.