Follow change in [e17549c80425f3/base]

Authored by hvr on Sep 13 2013, 10:29 AM.

Description

Follow change in [e17549c80425f3/base]

Details

Committed
hvrSep 13 2013, 10:29 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF04a24282d8e0: Add some tests for evaluating type-level naturals.
Branches
Unknown
Tags
Unknown