Repository navigation

Add note about the checker's type relations - #5

Merged

Gabriela Araujo Britto (gabritto) merged 3 commits into

mainfrom

gabritto/checker-relations

Apr 10, 2023

Merged

Add note about the checker's type relations#5
Gabriela Araujo Britto (gabritto) merged 3 commits into
mainfrom
gabritto/checker-relations

Commits on Apr 3, 2023
- create note about the type relations
  Gabriela Araujo Britto (gabritto)
  committed
  df46f76
Commits on Apr 10, 2023
- address CR
  Gabriela Araujo Britto (gabritto)
  committed
  51fe38b
- grammar fixes
  Gabriela Araujo Britto (gabritto)
  committed
  6471fda