Duplicated from pikto/prodia
e774b98
1
2
3
4
5
6
7
def keys(dictionary: dict): return [k for k, v in dictionary.items()] def split_numbers(numbers: str): return [int(i) for i in numbers.split(",")]