4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	f6a8b84d81	sorted-map-values	2014-07-18 19:58:57 -07:00
Tony Garnock-Jones	a5dc977d73	Add sorted-map-keys	2014-07-18 19:58:57 -07:00
Tony Garnock-Jones	0b0020153e	Constant-time sorted-map-size	2014-07-18 19:58:57 -07:00
Tony Garnock-Jones	10803adcd2	Hash-consed red-black treemap	2014-07-18 19:58:57 -07:00