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.

• idris-1.3.3-win64.exe (49MB self-extracting archive) (as 7z)

• idris-1.3.2-win32.exe (48MB self-extracting archive) (as 7z) (There's no 32-bit for version 1.3.3) Older binaries are archived here.

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.

Adding idris and idris/mingw/bin folders to PATH is a good idea if you plan to follow the official tutorial.