integer-gmp: Write friendlier documentation for Integer

Authored by bgamari on Apr 2 2019, 3:59 PM.

Description

integer-gmp: Write friendlier documentation for Integer

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Apr 2 2019, 11:41 PM
Parents
rGHC733f1b52448e: users-guide: Typo in Users Guide, Glasgow Exts
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3364def0a28d: integer-gmp: Write friendlier documentation for Integer (authored by bgamari).Apr 2 2019, 11:41 PM