This repository has been archived by the owner on Apr 6, 2023. It is now read-only.

docs: add brief note about how to check types manually#1822

Merged

pi0 merged 2 commits intomainfrom docs/type-check

Nov 10, 2021

+8

Commits on Nov 10, 2021