Version-2-3-2-1

  ------------------------------------------------------------------------
  -- Release notes for Agda 2 version 2.3.2.1
  ------------------------------------------------------------------------

  Important changes since 2.3.2:

  Installation
  ============

  * Made it possible to compile Agda with more recent versions of
    hashable, QuickCheck and Win32.

  * Excluded mtl-2.1.

  Type checking
  =============

  * Fixed bug in the termination checker (issue 754).