Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers. | 2015-01-12 | |
* | "allows to", like "allowing to", is improper | 2014-08-25 | |
* | Fixing compilation on OCaml 4.01. | 2014-03-05 | |
* | Adding a smartmap[i] operator to maps. | 2014-01-29 | |
* | Adding fold_left / fold_right function to maps. | 2013-11-24 | |
* | Adding an unsafe mapping function to maps. | 2013-11-13 | |
* | Added an update function in CMap. It has the same signature as Map.add, but | 2013-11-04 | |
* | Added a [modify] function to maps. | 2013-10-06 | |
* | Removing association lists in Reductionops. Btw, defining the dual of the | 2013-08-25 | |
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 |