36a78b991df68c8859954fed9796d768c5aa01b3
[hcoop/domtool2.git] / tests / reduce.dtl
1 One = (\x -> 1) 42;
2 Fred = \x -> ((\f -> \x -> [f, \y : (int) -> x]) x)