Skip to content
Commits on Jul 11, 2011
  1. [feature] Map: adding fold_map_2

    Arthur Milchior committed with Mathieu Barbin Jun 28, 2011
    As in Lists, it is usefull to be able to unify to map with the same elements, and fold on it.
  2. [feature] libbase: Taking an element to show the difference between …

    Arthur Milchior committed with Mathieu Barbin Jul 11, 2011
    …two set/map
    
        Usefull to explain why two sets are not equal.
  3. [feature] libbase: choose_opt in Maps and Sets

    Arthur Milchior committed with Mathieu Barbin Jun 28, 2011
    Same as choose, but giving an option instead of an exception on empty map/set
  4. [feature] Map: Adding the function choose

    Arthur Milchior committed with Mathieu Barbin Jun 28, 2011
    I needed "choose" in my map, hence I added it, as in set.
  5. [enhance] Stdlib: Comments in Standard Library

    Arthur Milchior committed with Mathieu Barbin Jun 28, 2011
    Documenting some function, and commenting the implemantation
Commits on Jun 21, 2011
  1. Initial open-source release

    MLstate committed Jun 21, 2011
Something went wrong with that request. Please try again.