soegaard22022-4-13 07:59:44@samdphillips I think, I missed the start of the discussion. ben.knoble2022-4-13 13:28:51possibly just (hash-update ctr k add1 0)?