Add note about the checker's type relations#5

Merged

gabritto merged 3 commits intomainfrom

gabritto/checker-relations

Apr 10, 2023

Commits on Apr 3, 2023

create note about the type relations
gabritto
committed

Commits on Apr 10, 2023