Uploaded at Aug 18 09:17:56 2023 (UTC)
Succesfully tested at Oct 31 02:35:49 2023

Curry Package base

Curry Base Libraries

This repository contains the standard libraries of Curry distributions like PAKCS, KiCS2, or Curry2Go.

The libraries in this package can be used in these Curry systems without the use of the Curry Package Manager. Since the structure of this base repository is similar to other Curry packages, the dependency on this package can be specified in other Curry packages. This is reasonable to specify the dependency on base libraries in a Curry package.


Download

Checkout with CPM:
cypm checkout base 3.1.0
Package source:
base-3.1.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry/curry-libs.git