Uploaded at May 31 10:44:53 2024 (UTC)
Succesfully tested at Jun 22 01:36:20 2024

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.2.0
Package source:
base-3.2.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry/curry-libs.git