I've downloaded Idris using Windows binary available at https://github.com/idris-lang/Idris-dev (https://neon.se/idris/idris-1.1.1-win32.exe)
It is claimed that "It includes everything needed to run Idris and build Idris programs, including a toolchain for the C backend. "
I had no problem with compiling .idr source files but when I try to evaluate simple expressions using REPL, the program dies with an error. The message box says that running idris.exe is terminated and Windows tries to recover error.
I'm running 32-bit Windows 7.
Could anyone please help me?