diff options
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 |