README.md

Cuckoo Filter

An implementation of Cuckoo Filter with LiquidHaskell bindings.

Build

$ stack build

Tests

$ stack test

LiquidHaskell

Please use liquid from the stack environment and give it the file to check

$ stack exec -- liquid src/Data/LiquidCuckooFilterPlain.hs