Refer to the coercible paper in Coercible' docs

Authored by nomeata on Mar 14 2014, 6:41 AM.

Description

Refer to the coercible paper in Coercible' docs

Implements parts of Trac #8888.

Details

Committed
nomeataMar 14 2014, 6:41 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF54c95ffcb2cf: Better Comment [Kind-changing of (~) and Coercible]
Branches
Unknown
Tags
Unknown