Uploaded at Mar 27 13:47:33 2023 (UTC)
Succesfully tested at Sep 26 02:15:32 2023

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: