summaryrefslogtreecommitdiff
path: root/puzzles/infer_literal_narrowing.py
AgeCommit message (Expand)Author
2022-02-28add puzzles/infer_literal_narrowing.pyMartin Fischer