Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
research:software:gradual-unions [2017/05/02 13:51] – [Errors] mtoro | research:software:gradual-unions [2017/05/02 15:26] – [Gradual Unions: A Gradual Interpretation of Union Types] mtoro | ||
---|---|---|---|
Line 11: | Line 11: | ||
* How to install the prototype implementation of GSEC< | * How to install the prototype implementation of GSEC< | ||
* An overview of the application and a basic presentation of the language syntax. | * An overview of the application and a basic presentation of the language syntax. | ||
- | * Detailed examples | + | * Examples |
+ | An online version of this document can be found [[https:// | ||
===== Installation instructions ===== | ===== Installation instructions ===== | ||
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: |