Windows Binaries

This is a binary build of Idris for Windows. It includes 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-1.2.0-win64.exe (49MB self-extracting archive) (as 7z)

Windows 32-bit

• idris-1.2.0-win32.exe (48MB self-extracting archive) (as 7z)

Older binaries are archived here.

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.