mirror of
https://github.com/dolthub/dolt.git
synced 2026-01-24 03:09:22 -06:00
Because JSON encoders encode numbers differently we cannot just use numbers in the output. This still encodes the NomsKind as numbers. Towards #749
This is a work-in-progress implementation of a multi-tiered chunked set.
It's not used in noms, but the idea is to gradually make it efficient, then implement all set operations on it, then replace the noms set implementation.