A library for working with unlimited type-level naturals using an encoding of . in Symbol. - View it on GitHub