library representing integers using Haskell type families; documentation

 This library represents numbers in Haskell at the level of types.
 This is achieved by means of type families.
 .
 Numbers up to 2^18-1 can be represented.
 .
 In this version of the package, comparison of numbers, subtraction
 and multiplication of numbers is supported.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.