balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1f0491e367
ligo/vendors/Red-Black_Trees
History
Suzanne Dupéron 4a7edafcb7 Dunification of the Red-Black_Trees library
2020-04-13 19:23:12 +02:00
..
.gitignore Dunification of the Red-Black_Trees library 2020-04-13 19:23:12 +02:00
.links Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
.PolyMapMain.tag Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
.PolySetMain.tag Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
.RedBlackMain.tag Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
build.sh Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
clean.sh Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
dune Dunification of the Red-Black_Trees library 2020-04-13 19:23:12 +02:00
dune-project Dunification of the Red-Black_Trees library 2020-04-13 19:23:12 +02:00
LICENSE Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
Makefile.cfg Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolyMap.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolyMap.mli Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolyMapMain.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolySet.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolySet.mli Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
PolySetMain.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
README.md Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
RedBlack.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
RedBlack.mli Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
RedBlackMain.ml Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00
RedBlackTrees.ml Dunification of the Red-Black_Trees library 2020-04-13 19:23:12 +02:00
RedBlackTrees.opam Dunification of the Red-Black_Trees library 2020-04-13 19:23:12 +02:00
URL Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 2020-04-13 19:23:12 +02:00

README.md

Read-Black trees a la Okasaki and polymorphic sets and maps based on them

This implementation is based on the classic paper by Chris Okasaki, Red-Black Trees in a Functional Setting. J. Funct. Program. 9(4): 471-477 (1999).