Uploaded at Apr 1 11:56:27 2020 (UTC)
Succesfully tested at Feb 16 03:33:10 2023

Curry Package array

array

This package provides an implementation of arrays with Braun trees. Conceptually, Braun trees are always infinite. Consequently, there is no test on emptiness.

Download

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