# fin-int

Implements size-indexed bounded natural number types as a newtype over Int.