Changelog of @hackage/MiniAgda 0.2018.11.4

CHANGELOG for MiniAgda

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.