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.