# Changelog
## 2.0.0.0
* Modernise build: require `cabal-version: 3.0`, GHC 9.4+
* Move sources under `src/` layout
* Convert literate Haskell (`.lhs`) to plain Haskell (`.hs`); originals
preserved in `doc/`
* Add `-Wall`-clean compilation
* Add test suite (tasty + HUnit)
* Add GitHub Actions CI (GHC 9.4 / 9.6 / 9.8 / 9.10)
* Remove `Setup.hs`
* Update maintainer email, copyright years, and homepage URL
## 1.3
* An Input module, allowing files to be parsed.
* An example of the usage of this module.
## 1.2
* This package version is now compatible with the translation 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.
## 1.1.0.1
* Initial Hackage release.