Declare types for base checker, problems, and graders#952

Merged

kiritofeng merged 8 commits intomasterfrom problem-types

Dec 26, 2023

+259-84

Commits on Dec 26, 2023

checkers: declare checker module type

quantum5
authored and
kiritofeng
committed
problem: declare types

quantum5
authored and
kiritofeng
committed
graders: add types to BaseGrader

quantum5
authored and
kiritofeng
committed
graders: add types to StandardGrader

quantum5
authored and
kiritofeng
committed
graders: add types to SignatureGrader

quantum5
authored and
kiritofeng
committed
graders: add types to InteractiveGrader

quantum5
authored and
kiritofeng
committed
graders: add types to BridgedInteractiveGrader

quantum5
authored and
kiritofeng
committed
commands: fix types for test command
kiritofeng
committed