Commit Graph

18 Commits (358e6a61d5f4f0496d0a81e70cdcd25d05307342)

Author SHA1 Message Date
Victor Costan 2d66852a27
Fix typo/minor grammar error in subtyping.md (#317)
3 years ago
Yuki Okushi 5e789618d9
Audit `ignore` annotations
4 years ago
Eric Huss f30bc440db
Merge pull request #271 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
6 years ago
Alexis Beingessner 6ec81e17f6 cleanup
6 years ago
Alexis Beingessner b28d364f0f Subtyping rewrite
6 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