Commit Graph

11 Commits (d37282bfff2aa2147c5e1b00c98cb31cad360e08)

Author SHA1 Message Date
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