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