Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    HighOrd is new Map · 402fa65b
    Andrei Paskevich authored
    0. define Map.map 'a 'b as an alias 'a -> 'b
    1. define Set.set as an alias for 'a -> bool
    2. rename HighOrd.func to (->)
    3. remove HighOrd.pred
    4. update drivers
    402fa65b