mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-11-30 12:14:17 +03:00
048c10a64a
Add "installation problem", and while I'd rather not have larger proposals on the tracker, it would still be useful to list small requests where it's objectively clear what the resolution is. |
||
---|---|---|
.. | ||
feature-requests-and-proposals.md | ||
installation-problem.md | ||
language-problem.md | ||
large-feature-requests-and-proposals.md |