/idris2-hashmap

Hash-array map tries in Idris2

Primary LanguageIdrisBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Idris2 HashMap

Hash-array map tries in Idris2

Based of haskell's unordered-containers (But without all the optimisations).

Dependencies

Todo

  • more functions
    • alter
  • tests