Mercurial > urweb
comparison tests/cfold.lac @ 70:2e0f3b21fb85
Cjrize cfold
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 26 Jun 2008 10:02:34 -0400 |
parents | 9f89f0b00b84 |
children | 6431b315a1e3 |
comparison
equal
deleted
inserted
replaced
69:8e9920db39f2 | 70:2e0f3b21fb85 |
---|---|
6 con redCurry = currier [A = int, B = string] | 6 con redCurry = currier [A = int, B = string] |
7 val redCurry : redCurry = fn x : int => fn y : string => {} | 7 val redCurry : redCurry = fn x : int => fn y : string => {} |
8 | 8 |
9 con yellowCurry = currier [A = string, B = int, C = float] | 9 con yellowCurry = currier [A = string, B = int, C = float] |
10 val yellowCurry : yellowCurry = fn x => fn y => fn z => {} | 10 val yellowCurry : yellowCurry = fn x => fn y => fn z => {} |
11 | |
12 val main = yellowCurry |