forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 3
Linux Binary Packages
Leif Warner edited this page Sep 2, 2015
·
1 revision
Install by running pacman -U on the downloaded file, e.g. sudo pacman -U idris-0.9.19-1-x86_64.pkg.tar.xz.
Compiled with FFI and GMP flags (requires libffi and gmp Arch packages).
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
Development