Add actual documentation for new SPEC type.

Authored by austin on Oct 25 2013, 9:33 AM.

Description

Add actual documentation for new SPEC type.

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinOct 25 2013, 9:33 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF536b7913dc3c: Implement SPEC for SpecConstr as a built in type.
Branches
Unknown
Tags
Unknown