/finger-tree

An implementation and formal verification of finger trees, for CS-550: Formal Verification

Primary LanguageScalaMIT LicenseMIT

No issues in this repository yet.