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