Implement SPEC for SpecConstr as a built in type.

Authored by austin on Oct 25 2013, 6:13 AM.

Description

Implement SPEC for SpecConstr as a built in type.

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

Details

Committed
austinOct 25 2013, 6:13 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFf65cef6df629: Comments only
Branches
Unknown
Tags
Unknown