[hcoop/zz_old/domtool2-proto.git] / tests / reduce.dtl

One = (\x -> 1) 42;
Fred = \x -> ((\f -> \x -> [f, \y : (int) -> x]) x)
Commit	Line	Data
add6f172	1	One = (\x -> 1) 42;
add6f172	2	Fred = \x -> ((\f -> \x -> [f, \y : (int) -> x]) x)