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 :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

  • Andrei Paskevich's avatar
    switch Typing to the new Dterm-based API · 460e93f8
    Andrei Paskevich authored
    Also:
    
    - 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).
    460e93f8
ty.ml 7.13 KB