Clint Adams Sun, 01 Jul 2018 11:27:13 -0700
Source: agda Version: 2.5.2-2 Severity: serious ghc: out of memory (requested 2097152 bytes)
