Commit Graph

8 Commits (85a6d02a452c0863ee84d0b86c6069c5ca69dc62)

Author SHA1 Message Date
Alexis Beingessner efe5b1b79e clarify subtyping
8 years ago
Alexis Beingessner 36d7b94c89 lots more felix fixes
8 years ago
Alexis Beingessner b1529f107e fixups for aturon
8 years ago
Alexis Beingessner df793ee850 update subtyping to be a bit clearer about reference variance
8 years ago
Alexis Beingessner 9f20f453b2 fix all the doc tests
8 years ago
Alexis Beingessner 899c8a754a cleanup
8 years ago
Alexis Beingessner fd601550db cleanup
8 years ago
Alexis Beingessner c6c64270bf SHARD ALL THE CHAPTERS
8 years ago