forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 3
Mini Projects
David Christiansen edited this page Feb 14, 2014
·
26 revisions
If you’re interested in contributing to Idris, there are several jobs and mini-projects which would help. For example:
- Adding libraries and functions to the base package.
- A
:search
function for the REPL, to find functions by name or by type (similar to Hoogle) - Improving the termination and productivity checkers. The current version works in principle, but has a number of issues which need addressing.
- Expanding the tutorial with detailed examples and exercises (or even writing a new one)
- Investigating and fixing the reports on the issue tracker
- Refactoring the parser.
- A Haddock like tool for documenting APIs
- Low level bindings for various C APIs, including, but not limited to:
- Network sockets
- libgcrypt/libsodiu,
- libSDL
- High level, more dependently typed bindings for the above.
- Polishing the packaging system
- Proof automation, for example:
- A Presburger arithmetic solver.
- Commutative ring rewriting.
- Packaging for Mac, for ease of installation (ideally not requiring a Haskell platform installed)
- Packaging for Windows
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
Development