doc and NEWS updates for jb/subtype - SemanticDiff

Commit

9 years ago

doc and NEWS updates for jb/subtype

References

#18457 - type system revision and new subtype algorithm

Author

JeffBezanson

JeffBezanson

Committer

JeffBezanson

JeffBezanson

Parents

Loading