Cuckoo Filter

An implementation of Cuckoo Filter with LiquidHaskell bindings.

Build

$ stack build

$ stack test

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

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

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src/Data		src/Data
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml