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