Commit Graph

5 Commits

Author SHA1 Message Date
Tony Garnock-Jones 26bd5c7638 changed to use the order? convention from data/order 2014-07-18 19:58:58 -07:00
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