Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rewrite the chapter on subtyping and variance #340

Merged
merged 13 commits into from
May 28, 2023
Merged

Rewrite the chapter on subtyping and variance #340

Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
ae69217
begin rewriting chapter on subtyping
conradludgate Feb 10, 2022
9c17e30
continue
conradludgate Feb 10, 2022
0492daf
clarify some points
conradludgate Feb 10, 2022
a432377
more explanations
conradludgate Feb 10, 2022
8e129cc
remove the rest of animals
conradludgate Feb 10, 2022
510938c
remove use of transitive
conradludgate Feb 10, 2022
aeb9d4c
address some comments
conradludgate Feb 11, 2022
2c8ff4f
slight restructure
conradludgate Feb 11, 2022
8f88efd
add demos for box and fn
conradludgate Feb 11, 2022
ea95076
address some grammatical comments
conradludgate Feb 27, 2022
86b1c87
Copy-edit subtyping.md
timotree3 Apr 2, 2022
1517460
remove supertraits
conradludgate Apr 11, 2022
54ca7d1
Apply some review suggestions.
ehuss May 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading