This project is an implementation of Okasaki's Dense Binary Number System. It's simply a type-level linked-list of bits; a sort of HList of binary Digits. Included are the standard math operations you'd expect for natural numbers.
This library can be used alternatively to the Church-encoded Nat type found in shapeless.