Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
d7b3f45f3c functorial version of SplayMap 2013-05-01 17:21:09 +02:00
Simon Cruanes
6118e61edc update of containers.mllib to include SplayMap; update of README;
SplayMap.iter/fold now traverse in ascending order
2013-04-24 10:04:50 +02:00
Simon Cruanes
6c1f7fb950 functional SplayTree as Maps 2013-04-24 00:32:04 +02:00