|
|
f573268be9
|
dict: add delete method
|
2024-09-17 11:35:22 +02:00 |
|
|
|
c04a2e1d65
|
dict: add update method
|
2024-09-17 11:31:00 +02:00 |
|
|
|
4be80f4477
|
dict: deal with re-add
|
2024-09-17 10:19:25 +02:00 |
|
|
|
58efd33b20
|
dict: add Add function and tests
|
2024-09-17 10:10:07 +02:00 |
|
|
|
fc67cf14ff
|
dict: deal with unknown keys
|
2024-09-17 09:55:36 +02:00 |
|
|
|
baff9ee722
|
dict: create a type
|
2024-09-11 15:22:42 +02:00 |
|
|
|
73ab7dc92d
|
dict: add simple search method
|
2024-09-11 13:48:59 +02:00 |
|
