searchtree-extra: Extra libraries to deal with search trees

This package contains some extra libraries to deal with search trees which represent non-deterministic computations in data structures, as defined in the standard library Control.Search.SearchTree. In particular, it contains libraries for traversals through search trees and a library to generate search trees.

Download

Checkout with CPM:

cypm checkout searchtree-extra 1.0.0

Package source:

searchtree-extra-1.0.0.tar.gz [browse]

Source repository:

https://github.com/curry-packages/searchtree-extra.git