-
Notifications
You must be signed in to change notification settings - Fork 643
Home
edwinb edited this page Nov 6, 2011
·
30 revisions
Welcome to the MiniIdris wiki!
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
- Non English Resources
Development