john-h-kastner/liquid-structures

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

语言：Haskell · GitHub 星标：6 · Fork：0

话题：datastructures · haskell · liquidhaskell · refinement-types · verification

在 GitHub 上查看原仓库