All Versions
2
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
Changelog History
-
v1.2 Changes
๐ฆ This package has been extended and now includes:
๐ An Input module, allowing files to be parsed.
An example of the usage of this module.
-
v1.1.0.1 Changes
๐ 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.