[Agda] exceptions while running Agda on Windows 10 with MingGW MSYS and Cygwin

Roman effectfully at gmail.com
Mon Jun 20 13:54:10 CEST 2016


I got the same when I was trying to install Agda using GHC 8.0.1. I
then tried GHC 7.10.3 and everything was alright.


More information about the Agda mailing list