Changelog of @hackage/CarneadesDSL 1.3

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.

1.1.0.1 => 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.