ligo/vendors/Red-Black_Trees/README.md

6 lines
229 B
Markdown
Raw Normal View History

# 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).