Integrate distribution package?
The distribution package is needed for proper bootstrapping of the Curry Package Manager (which currently uses a workaround), therefore we could consider adding it to the standard library.
The distribution package is needed for proper bootstrapping of the Curry Package Manager (which currently uses a workaround), therefore we could consider adding it to the standard library.