Mentions légales du service

Skip to content
  • Raphaël Rieu-Helft's avatar
    Add support for partial functions · 17ed1270
    Raphaël Rieu-Helft authored
    Program functions can be declared as partial with "let/val partial".
    Similarly to "diverges", partial code cannot be ghost, however it does not need to be
    explicitly specified as partial.
    
    Fixes #184.
    17ed1270