• Raphael Rieu-Helft's avatar
    Add support for partial functions · 17ed1270
    Raphael 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.
Last commit
Last update
ftdetect Loading commit data...
syntax Loading commit data...