summaryrefslogtreecommitdiff
path: root/check_checkers.py
AgeCommit message (Expand)Author
2022-02-24checkers: merge table cells if mypy & mypy --strict give same resultMartin Fischer
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