PR #53001 doc: expand the `<:` doc string

doc: expand the `<:` doc string #53001

vtjnash merged 2 commits into JuliaLang:master from nsajko:doc_subtype

nsajko added docs

nsajko force pushed from 91b11316 to edd85abd 2 years ago

Keno commented on 2024-01-22

Keno commented on 2024-01-23

nsajko commented on 2024-01-24

nsajko force pushed from edd85abd to ad08d91d 2 years ago

jakobnissen commented on 2024-01-25

nsajko force pushed from ad08d91d to 091ef1a7 2 years ago

nsajko force pushed from 091ef1a7 to 38ecd630 2 years ago

nsajko force pushed from 38ecd630 to 2a36b9df 2 years ago

nsajko force pushed from 2a36b9df to 6de6b297 2 years ago

adienes commented on 2024-02-02

nsajko force pushed from 6de6b297 to ed560820 2 years ago

nsajko added types and dispatch

fingolfin approved these changes on 2024-02-07

vtjnash requested changes on 2024-02-12

nsajko force pushed from ed560820 to 4dff3ea4 2 years ago

vtjnash commented on 2024-02-12

nsajko force pushed from 4dff3ea4 to e3175613 2 years ago

fingolfin commented on 2024-02-14

doc: expand the `<:` doc string

04258c91

nsajko force pushed from e3175613 to 04258c91 2 years ago

fingolfin requested a review from

vtjnash 2 years ago

Update operators.jl

1e8014a6

vtjnash approved these changes on 2024-02-16

vtjnash merged 65f24dac into master 2 years ago

nsajko deleted the doc_subtype branch 2 years ago

Reviewers

vtjnash

fingolfin

adienes

Keno

jakobnissen

tpapp

Assignees

No one assigned

Labels

docs types and dispatch

Milestone

No milestone