Uploaded at Nov 24 10:59:20 2023 (UTC)
Succesfully tested at Jul 15 02:30:40 2024

Curry Package 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.


Checkout with CPM:
cypm checkout curry-resources 1.0.0
Package source:
curry-resources-1.0.0.tar.gz [browse]
Source repository: