aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cMap.ml
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding more sharing in Map.udpate and Map.modify.Gravatar Pierre-Marie Pédrot2015-01-10
* Fixing compilation on OCaml 4.01.Gravatar Pierre-Marie Pédrot2014-03-05
* Adding a smartmap[i] operator to maps.Gravatar Pierre-Marie Pédrot2014-01-29
* Adding fold_left / fold_right function to maps.Gravatar Pierre-Marie Pédrot2013-11-24
* Adding an unsafe mapping function to maps.Gravatar ppedrot2013-11-13
* Added an update function in CMap. It has the same signature as Map.add, butGravatar ppedrot2013-11-04
* Added a [modify] function to maps.Gravatar ppedrot2013-10-06
* Removing association lists in Reductionops. Btw, defining the dual of theGravatar ppedrot2013-08-25
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25