Commit Graph

23 Commits (b5f7500fc40775096c2bbd204eae096612cf9047)

Author SHA1 Message Date
masloyet b5f7500fc4
Fix typo in 3.8 Subtyping and Variance () 2 years ago
Martin 2d3e6f67d5
Small language fix in subtyping.md () 2 years ago
Alex Saveau 9c73283775
Fix typo () 3 years ago
diffuse 708c774ff5
Minor language fixes () 3 years ago
chubei c6b4bf831e
Replace some use of variant with covariant () 3 years ago
Victor Costan 2d66852a27
Fix typo/minor grammar error in subtyping.md () 4 years ago
Yuki Okushi 5e789618d9
Audit `ignore` annotations 4 years ago
Eric Huss f30bc440db
Merge pull request from JohnTitor/clean-up 4 years ago
Yuki Okushi ae5ad9b7ad Add a link for the variance table on the reference 4 years ago
Yuki Okushi bcfb3b58a1 Mark on example `compile_fail` 4 years ago
Yuki Okushi 1fe5457479 Fix minor style issues 4 years ago
Youngsuk Kim e3812150dd
follow-up to review from Centril 5 years ago
Youngsuk Kim d37282bfff
(minor) Add backticks around type names 5 years ago
chansuke 87159b8656 Fix typo in subtyping 6 years ago
Casey Rodarmor 51df283213 Fix number agreement in subtyping chapter 6 years ago
Colin Rofls 4f7df6c3d9
Fix typo in subtyping.md 6 years ago
Alexis Beingessner a805a667ba fixup 7 years ago
Alexis Beingessner 6ec81e17f6 cleanup 7 years ago
Alexis Beingessner b28d364f0f Subtyping rewrite 7 years ago
Hynek Schlawack d9abcb680e
Fix definition of contravariance 7 years ago
Alexis Beingessner 3f12284a7b Admit that contravariance exists and clean up the subtyping section 7 years ago
Phil Ruffwind 91dbbbcfbd subtyping: clarify the concreteness of 'a in example 8 years ago
Steve Klabnik 0e6c680ebd Port Nomicon to mdbook 8 years ago