packages feed

fin-int-0.2.0.1: README.md

# fin-int

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