Idris Downloads

• idris-1.3.3-win64.exe (49 MB)
• idris-1.3.3-win64.7z (49 MB)
• idris-1.3.2-win64.exe (49 MB)
• idris-1.3.2-win32.exe (49 MB)
• idris-1.3.2-win64.7z (49 MB)
• idris-1.3.2-win32.7z (49 MB)
• idris-1.3.1-win64.exe (48 MB)
• idris-1.3.1-win32.exe (49 MB)
• idris-1.3.1-win64.7z (48 MB)
• idris-1.3.1-win32.7z (49 MB)
• idris-1.3.0-win64.exe (51 MB)
• idris-1.3.0-win32.exe (49 MB)
• idris-1.3.0-win64.7z (50 MB)
• idris-1.3.0-win32.7z (49 MB)
• idris-1.2.0-win64.exe (49 MB)
• idris-1.2.0-win32.exe (48 MB)
• idris-1.2.0-win64.7z (49 MB)
• idris-1.2.0-win32.7z (48 MB)
• idris-1.1.1-win64.exe (50 MB)
• idris-1.1.1-win32.exe (46 MB)
• idris-1.1.1-win64.7z (50 MB)
• idris-1.1.1-win32.7z (46 MB)
• idris-1.1.0-win64.exe (49 MB)
• idris-1.1.0-win32.exe (48 MB)
• idris-1.1.0-win64.7z (48 MB)
• idris-1.1.0-win32.7z (47 MB)
• idris-1.0-win64.exe (51 MB)
• idris-1.0-win32.exe (47 MB)
• idris-1.0-win64.7z (51 MB)
• idris-1.0-win32.7z (47 MB)
• idris-0.99.2-win64.exe (49 MB)
• idris-0.99.2-win32.exe (45 MB)
• idris-0.99.2-win64.7z (49 MB)
• idris-0.99.2-win32.7z (45 MB)
• idris-0.99.1-win64.exe (49 MB)
• idris-0.99.1-win32.exe (46 MB)
• idris-0.99.1-win64.7z (49 MB)
• idris-0.99.1-win32.7z (45 MB)
• idris-0.99-win64.exe (48 MB)
• idris-0.99-win32.exe (45 MB)
• idris-0.99-win64.7z (48 MB)
• idris-0.99-win32.7z (44 MB)
• idris-0.12.3-win64.exe (44 MB)
• idris-0.12.3-win32.exe (39 MB)
• idris-0.12.3-win64.7z (43 MB)
• idris-0.12.3-win32.7z (39 MB)
• idris-0.12.2-win64.exe (43 MB)
• idris-0.12.2-win32.exe (39 MB)
• idris-0.12.2-win64.7z (43 MB)
• idris-0.12.2-win32.7z (39 MB)
• idris-0.12.1-win64.exe (43 MB)
• idris-0.12.1-win32.exe (39 MB)
• idris-0.12.1-win64.7z (43 MB)
• idris-0.12.1-win32.7z (39 MB)
• idris-0.12-win64.exe (43 MB)
• idris-0.12-win32.exe (39 MB)
• idris-0.12-win64.7z (43 MB)
• idris-0.12-win32.7z (39 MB)
• idris-0.11.2-win64.exe (43 MB)
• idris-0.11.2-win32.exe (39 MB)
• idris-0.11.2-win64.7z (43 MB)
• idris-0.11.2-win32.7z (38 MB)
• idris-0.11.1-win64.exe (42 MB)
• idris-0.11.1-win32.exe (38 MB)
• idris-0.11.1-win64.7z (42 MB)
• idris-0.11.1-win32.7z (38 MB)
• idris-0.11-win64.exe (42 MB)
• idris-0.11-win32.exe (38 MB)
• idris-0.11-win64.7z (42 MB)
• idris-0.11-win32.7z (38 MB)
• idris-0.10.3-win64.exe (45 MB)
• idris-0.10.3-win32.exe (42 MB)
• idris-0.10.3-win64.7z (45 MB)
• idris-0.10.3-win32.7z (42 MB)
• idris-0.10.2-win64.exe (45 MB)
• idris-0.10.2-win32.exe (42 MB)
• idris-0.10.2-win64.7z (56 MB)
• idris-0.10.2-win64.zip (121 MB)
• idris-0.10.2-win32.7z (44 MB)
• idris-0.10.2-win32.zip (132 MB)
• idris-0.10.1-win64.7z (56 MB)
• idris-0.10.1-win64.zip (121 MB)
• idris-0.10.1-win32.7z (55 MB)
• idris-0.10.1-win32.zip (132 MB)
• idris-0.10-win64.zip (121 MB)
• idris-0.10-win32.zip (131 MB)
• idris-0.9.20.2-win64.zip (121 MB)
• idris-0.9.20.2-win32.zip (130 MB)
• idris-0.9.20-win64.zip (121 MB)
• idris-0.9.20-win32.zip (132 MB)
• idris-win64-0.9.19.1.zip (121 MB)
• idris-win32-0.9.19.1.zip (127 MB)
• idris-win64-0.9.19.zip (121 MB)
• idris-win32-0.9.19.zip (126 MB)
• idris-win64-0.9.18.zip (119 MB)
• idris-win32-0.9.18.zip (125 MB)
• idris-win64-0.9.17.zip (119 MB)
• idris-w32-0.9.17.zip (125 MB)
• idris-win64-0.9.16.zip (119 MB)
• idris-win64-0.9.14.2.zip (114 MB)
• idris-win64-0.9.13.1.zip (98 MB)