Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
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.
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.