Re: Is it possible to package baire?
On Mon, Oct 21, 2002 at 04:50, Stefano Zacchiroli wrote:
> Could you please briefly summarize which data structures are provided by
> this package?
It includes data structures such as lists, streams, queues, heaps, sets,
priority search trees, maps, and arrays. Each has functions for monadic
operations, constructors, destructors, observers, reverse operations, map and
folds, subsequences, index-based operations, multiple list operations,
filters and partitions. It seems to be based on Okasaki's pure functional
data structures, though I'm not sure. The web page is in French, and as said
before, I can't read it.
Best!
shouxun
Reply to: