Tweak holes documentation

Authored by monoidal on Feb 4 2014, 4:42 PM.

Description

Tweak holes documentation

type holes -> typed holes, reorder, minor changes

Details

Committed
monoidalFeb 4 2014, 4:42 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF2b33f6e8045f: Final fix to #7134 (and #8717 as well.)
Branches
Unknown
Tags
Unknown