------------------------------------------------------------------------ --Agda 2版本2.3.2.1的发行说明 ------------------------------------------------------------------------ 自2.3.2以来的重要变化: 安装 ============ *使用最新版本的 hashable、QuickCheck和Win32。 *不包括mtl-2.1。 类型检查 ============= *修复了终止检查程序中的错误(问题754)。