diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:32:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 11:32:29 -0400 |
| commit | 140f5079a41a0aae9ad3e577c96b443eb5337ca5 (patch) | |
| tree | 40fb8cd3e4a8812fd9b9952edb403f9547a31c90 /tests | |
| parent | 84104b2ae60ef293b9d837998b8162d58e8d4a0e (diff) | |
Corify efold
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/efold.lac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/efold.lac b/tests/efold.lac index 6f4c768c..ff595ff1 100644 --- a/tests/efold.lac +++ b/tests/efold.lac @@ -4,3 +4,5 @@ val currier : rs :: {Type} -> Cfold.currier rs = val greenCurry : Cfold.greenCurry = currier [Cfold.greenCurryIngredients] val redCurry : Cfold.redCurry = currier [Cfold.redCurryIngredients] val yellowCurry : Cfold.yellowCurry = currier [Cfold.yellowCurryIngredients] + +val main = yellowCurry |