diff options
| author | Eduardo Julian | 2022-06-14 02:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-14 02:33:54 -0400 |
| commit | c4d938ebb2f5245b4c3faa22c4f217e7e818589f (patch) | |
| tree | b4ffb4ece96cd711c270932ca500c49192c6bb46 /documentation/bookmark/type_theory | |
| parent | 63dec2e80905100ae2b48ada1d4e0d675338d00f (diff) | |
Better syntax for invoking super methods inside overriden methods.
Diffstat (limited to 'documentation/bookmark/type_theory')
| -rw-r--r-- | documentation/bookmark/type_theory/union_and_intersection.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/documentation/bookmark/type_theory/union_and_intersection.md b/documentation/bookmark/type_theory/union_and_intersection.md new file mode 100644 index 000000000..3f053f60b --- /dev/null +++ b/documentation/bookmark/type_theory/union_and_intersection.md @@ -0,0 +1,5 @@ +# Reference + +0. [Union and intersection contracts are hard, actually](https://www.tweag.io/blog/2022-04-28-union-intersection-contracts/) + 0. [Union and intersection contracts are hard, actually](https://arxiv.org/abs/2106.06278) + |