Uploaded at Nov 24 10:59:20 2023 (UTC)
Succesfully tested at Nov 20 03:20:58 2024

Curry Package curry-resources

curry-resources

This package provides the library Language.Curry.Resources which contains definitions of various URLs to resources related to Curry, like home page of Curry, the documentation site for packages, etc. These URLs should be used in Curry applications which generate documentations related to Curry, e.g., program documentations (CurryDoc), package descriptions, instead of fixed strings so that the URLs can be easily adapted.


Download

Checkout with CPM:
cypm checkout curry-resources 1.0.0
Package source:
curry-resources-1.0.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/curry-resources.git