Idris Hash Array Mapped Tries Bagwell's Ideal Hash Tries for Idris. Without real arrays at this point (as those are not currently supported by Idris) but already slightly faster than Idris SortedSet. Run a simple benchmark comparing it to Idris SortedSet implementation make run License