Hi, I have taken a look at lib/ur and I did not find a hash table implementation. Using a database table seems to be superfluous and expensive, what else could I use to store values, indexed by strings?
- Gergely _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
