Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Finger trees
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Arnaud Spiwack <aspiwack@l...>
Subject: Re: [Caml-list] Finger trees
There's at least been a Coq implementation (proven correct if I'm not 
mistaken). Thus extractible into OCaml in a probably idiomatic way. I 
don't know if the library is self contained or just a small proof-of 
concept, though.

Arnaud Spiwack

Jon Harrop a écrit :
> I'm just perusing the multitude of tree data structures out there and was 
> wondering if anyone has a finger tree implementation written in OCaml?
> Cheers,