[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