A simple package manager for Idris 2.
See the issues for work that needs to be done. PRs that fix existing issues should be a priority.
If you want to make some large changes, then it might be worth opening an issue or draft PR. This will ensure that multiple people don't duplicate their work by independently working to solve the same problem.
| Sub Command | Effect |
|---|---|
new <project_name> |
Creates a template Idris2 project. |
build |
Builds the project and its dependencies. |
run |
Runs the executable (if a main has been specified in the config). |
clean |
Removes all build files. |
dep-tree |
Prints a dependency tree. |
prune |
Deletes build files for old dependencies that are no longer used. |
Configuration takes places in the sirdi.json file. Check out the examples/ directory for example uses.
The main design goal of sirdi is simplicity. It is intended as a convenient wrapper around the existing ipkg system and git.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent