poohbar
12/07/2018, 2:15 AMShawn
12/07/2018, 2:17 AMmap[key] = map.getOrPut(key) { 0 }.inc()poohbar
12/07/2018, 2:32 AM.withDefault() when creating the map and then just
map[key] = map[key] + 1karelpeeters
12/07/2018, 6:52 AM.getValue() then, right?