| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Equipping extended maps with fold operator defined for any monad. |  Pierre-Marie Pédrot | 2015-01-25 |
| * | Update headers. |  Maxime Dénès | 2015-01-12 |
| * | Adding more sharing in Map.udpate and Map.modify. | Pierre-Marie Pédrot | 2015-01-10 |
| * | Fixing compilation on OCaml 4.01. | Pierre-Marie Pédrot | 2014-03-05 |
| * | Adding a smartmap[i] operator to maps. | Pierre-Marie Pédrot | 2014-01-29 |
| * | Adding fold_left / fold_right function to maps. | Pierre-Marie Pédrot | 2013-11-24 |
| * | Adding an unsafe mapping function to maps. |  ppedrot | 2013-11-13 |
| * | Added an update function in CMap. It has the same signature as Map.add, but | ppedrot | 2013-11-04 |
| * | Added a [modify] function to maps. | ppedrot | 2013-10-06 |
| * | Removing association lists in Reductionops. Btw, defining the dual of the | ppedrot | 2013-08-25 |
| * | Added a more efficient way to recover the domain of a map. | ppedrot | 2013-08-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |