Ur/Web: tests/cfold.lac annotate

Elaborating cfold

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 26 Jun 2008 09:48:54 -0400
parents
children	2e0f3b21fb85

rev	line source
adamc@67	1 con currier = fold (fn nm => fn t => fn acc => t -> acc) {}
adamc@67	2
adamc@67	3 con greenCurry = currier []
adamc@67	4 val greenCurry : greenCurry = {}
adamc@67	5
adamc@67	6 con redCurry = currier [A = int, B = string]
adamc@67	7 val redCurry : redCurry = fn x : int => fn y : string => {}
adamc@67	8
adamc@67	9 con yellowCurry = currier [A = string, B = int, C = float]
adamc@67	10 val yellowCurry : yellowCurry = fn x => fn y => fn z => {}

Mercurial > urweb