Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
research:software:gradual-unions [2017/05/02 10:56] – [Static and dynamic errors] mtoro | research:software:gradual-unions [2017/05/02 10:58] – [Static and dynamic errors] mtoro | ||
---|---|---|---|
Line 162: | Line 162: | ||
The prototype implementation reports static errors after the " | The prototype implementation reports static errors after the " | ||
- | {{: | + | {{: |
Now let us add an ascription to the boolean value: | Now let us add an ascription to the boolean value: |