.gitignore | ||
Bloom.hs | ||
Main.hs | ||
README |
A spell checker implemented using a bloom filter. My first time programming with (emulated) dependent types in Haskell.
.gitignore | ||
Bloom.hs | ||
Main.hs | ||
README |
A spell checker implemented using a bloom filter. My first time programming with (emulated) dependent types in Haskell.