MiniAgda-0.2025.7.23: CHANGELOG

CHANGELOG for MiniAgda

0.2025.7.23   Drop support for GHC 7, tested with GHC 8.0 - 9.12.2.

0.2022.3.11   Fixed compilation with mtl-2.3-rc3, tested with ghc 9.2.2, added cabal test.

0.2020.4.14   Tested compilation with ghc 8.10.1.

0.2019.12.13  Tested compilation with ghc 8.8.1.

0.2019.3.29   Bumped haskell-src-exts to 1.21.

0.2018.11.6   Tested compilation with ghc 8.6.2.

0.2018.11.4   Fixed compilation with ghc 8.4 and 8.6.

0.2017.02.18  Updated install instructions.

0.2016.12.19  Travis instance ensures compilation with ghc 7.6 -- 8.0.

0.2014.9.12

Internal changes:
* Removed dependency on IfElse.
* Use ExceptT instead of ErrorT, depend on mtl > 2.2.
  This also required to switch from fail to throwError
  for catchable errors.