idris-lang / Idris-dev Public
Idris on OS X using Homebrew
Brian Marick edited this page Mar 10, 2017
·
13 revisions
This works:
brew install idrisPages 47
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
- Non English Resources
Development