patrick/fsharp-red-black-tree
1
0
Fork 0
mirror of https://github.com/Smaug123/fsharp-red-black-tree synced 2025-10-14 12:18:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Patrick Stevens
2020-10-28 20:00:34 +00:00
committed by GitHub
parent 38b0fdc23f
commit 9d3427005c
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@@ -1,6 +1,7 @@
# Red-black tree
This is a basic implementation of a red-black tree in F#, which is pretty close to being correct by construction.
The invariants are imposed at the type level, so that if you have successfully constructed a tree, it is automatically a red-black tree (though we cannot help you get elements the right way round, so we can't guarantee that traversal is in sorted order; that is ensured by property-based and exhaustive testing).
## Things to fix