Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :

  • Andrei Paskevich's avatar
    switch Typing to the new Dterm-based API · 460e93f8
    Andrei Paskevich authored
    - Make [Highord.pred 'a] an alias for [Highord.func 'a bool],
    rename [Highorg.(@!)] to [(@)], remove [Highorg.(@?)], remove
    the quantifiers [\!] and [\?] and only leave [\] which is the
    only true lambda now;
    - Allow mixing bool and Prop in logic, Dterm will introduce
    coercions where necessary (trying to minimize the number of
    if-then-else in the term context).
ty.ml 7.13 KB