sellout / dada Goto Github PK

Would you be open to something more like the LGPL (I think there's an equivalent for the AGPL)? This would effectively allow closed-source clients of this as a library, but any downstream modifications or improvements to the library itself would have to be shared back with upstream. (IANAL.)

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

This repository currently has no open or pending branches.

Detected dependencies

• Check this box to trigger a request for Renovate to run again on this repository

I was wondering (while trying to understand the code) whether it would make sense to have a convention that types and type constructors (intuitively all files that end in -> ∀ …) are given (file) names starting with a capital letter?

e.g. I wondered what the difference between /recursive and /Mu/recursive was, until I saw that inside the latter the former is imported in a type annotation. I’d rename the former to /Recursive instead, to make them easier to distinguish. Same with all other files that evaluate to types.

You have lt in here. I'm not sure what the philosophy of this collection is, but would it make sense to also include eq, gt and similar? At least these two can be trivially implemented using lt