Idris交互式环境无法正常工作

Question

我已使用https://github.com/idris-lang/Idris-dev（https://neon.se/idris/idris-1.1.1-win32.exe）提供的Windows二进制文件下载了Idris 声称＆＃34;它包括运行Idris和构建Idris程序所需的一切，包括C后端的工具链。 ＆＃34; 我编译.idr源文件没有问题但是当我尝试使用REPL评估简单表达式时，程序会因错误而死掉。消息框显示运行idris.exe已终止，Windows尝试恢复错误。 我正在运行32位Windows 7。

有人可以帮助我吗？