Windows Binaries

Here are Windows binary builds of Idris, both 32-bit and 64-bit versions. They include everything needed to run Idris and build Idris programs, including a toolchain for the C backend. The 7z files require 7-zip to unpack. The binaries are built with libffi for compile-time FFI functionality.

Windows 64-bit

• idris-0.10.3-win64.exe (45MB self-extracting archive) (as 7z)

Windows 32-bit

• idris-0.10.3-win32.exe (43MB self-extracting archive) (as 7z)

Older binaries are archived here. Due to a bug, older versions than 0.10.1 need to be in a directory without spaces in the path.

Troubleshooting

I get a dialog that libwinpthread.dll is missing when trying to run my program

Idris links the run-time system dynamically with the threading library. The pthread DLL is in the idris/mingw/bin folder, you can get it from there, or just put that folder in the PATH.