Geeks
pzp1997
/
liquid-heaps
Verified Binomial and Skew Heaps Using LiquidHaskell
Primary Language
Haskell
liquid-heaps GitHub
Markdown
Readme
1
Issue
0
Stargazers
1
Watcher
Issues
Closed issue
LH does not compile for BinomialHeap - error with unbounded variables in refinements
#1 opened
2 years ago
by
Genlight
4