summaryrefslogtreecommitdiff
path: root/check_checkers.py
AgeCommit message (Collapse)Author
2022-02-24checkers: add mypy with --strictMartin Fischer
2022-02-24prefix numbers to puzzlesMartin Fischer
2022-02-23clarify what the red background meansMartin Fischer
2022-02-23link github issuesMartin Fischer
2022-02-23publishMartin Fischer