/liquid-structures

Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.