sirdi
sirdi copied to clipboard
eayus
Package manager for Idris
What needs to be done before the `refactor` can replace the current `main` branch? I will soon have some time to work on sirdi, so I am happy to help...
I was playing around with sirdi for an existing project today, and noticed that my `.ipkg` file (which I was using for interactive editing purposes) was gone. I managed to...
There's only two things stopping `master` from compiling with 0.5.1, the last released version of the language; one which a package manager for that language should generally support. - pclose...
Currently LSP expects a .ipkg file in a parent directory of the source code, however sirdi doesn't generate one, so lsp doesn't work Here are some potential solutions I can...
Can we have installation instructions in the root README? I'm not sure if this is the same problem or I need a separate issue, but `make build` gives ``` Error:...
What would it take for sirdi to package itself? If we have a clear list of tasks to complete or decisions to make, maybe we can spread the effort among...
This is only checked if there is a main field, as executable doesn't make sense without main
Currently a lot of our work is done using "system" commands. We should switch to libraries if they are available because: - It's faster, since the command line arguments do...
