We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
restore link
Updated Windows Binaries (markdown)
Update link for idris 1.3.1
Update for Idris 1.3
Update for v 1.2.0
Update with idris v1.1.1
Update for 1.1.0 release
Update with Idris 1.0
Update with version 0.99.2
Add 64-bit v0.99.1
add v0.12.3
add 0.12.1
Added 0.12
0.11.1 release
revert until reupload
Update to idris version 0.11