All Versions
2
Latest Version
1.2
Avg Release Cycle
-
Latest Release
-

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.