fix: Don't use where on forward data declarations
style: Reformat markdown
feat: add DList and PList structures
A collection of data structure implementations for Idris 2
This project is licensed under the terms of either the Parity License v7.0.0 or the Prosperity License v3.0.0 at the users discretion.
You can use this code under either license individually, or both licenses at once, assuming your usage falls under the terms of the license in play.
Parity allows commercial use, however, it requires that you publicly contribute any code developed that consumes this library, or had more or less anything done to it involving this library, under a suitable open source license. If you are making commercial use of this library, or contributing any changes to it or any software that has had anything done to it using this library, this license likely applies to your use case.
Prosperity allows virtually unlimited non-commercial use with no requirement to contribute back code (though if you do, it still has to be under a suitable open source license). If you are a researcher using this code in your research, an academic teaching with it, or a hobbyist tinkering around in their own time without selling anything, this license likely applies to your use case.
Both of these licenses are fairly concise and readable, as far as software licenses go, It is highly recommended to read through both of them to see which, if either, allows your usage.
While I am a firm believer in the core idea of copyleft, I personally find licenses like the GPL and AGPL to be not contagious enough for my taste, at least as far as the purpose of forcing corporations who make use of my volunteer labor to actually give back to the communities they take from. I am not really all that comfortable with the idea of a random corporation using my code in some random part of their workflow, benefiting from my work, but not sharing in kind. Parity's contagion even when code is "developed or analyzed with" goes much further towards infecting the entire tech stack of corporations who wish to use my work.
While I do like this aspect of Parity, I find its hard line requirement to publicly contribute a bit onerous to researchers, hobbyists, and other people just messing around with the code without trying to extract a profit. Prosperity covers those bases, allowing nearly unencumbered non-commercial use. My primary motivation with the Prosperity license is releasing non-commercial users from the hard line obligation to contribute, it is not my intent to sell licenses to commercial users. If you are a for-profit entity, do not expect to receive a commercial use license. If you some other type of entity, such as a worker cooperative, and for some reason the terms of Parity are objectionable, reach out via the mailing list and we can have a conversation.
This package is part of an ecosystem of Idris 2 packages. For contribution guidelines, mailing lists, and issue tracking, please visit the project page at: