A Haskell library for writing algorithms where the runtime complexity is verified by GHC
Primary LanguageHaskellMIT LicenseMIT