Curry Package finite-map

Library implementing finite maps (efficient mappings from keys to values)

Detailed package documentation (available shortly after this version has been published)

---