Release notes for Agda 2 version 2.3.2.1

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).