Add comments & notes explaining the typing of pattern synonym definitions

Authored by cactus on Apr 8 2014, 9:29 AM.

Description

Add comments & notes explaining the typing of pattern synonym definitions

Details

Committed
cactusApr 8 2014, 9:29 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF17c955402871: Improve documentation of GeneralisedNewtypeDeriving
Branches
Unknown
Tags
Unknown