Content deleted Content added
No edit summary |
JnRouvignac (talk | contribs) →Type System: Added internal link to Flow-sensitive_typing |
||
Line 93:
</source>
Intersection types, written <code>A&B</code>, are the theoretical foundation of [[flow-
<source lang="ceylon">
|