Reduction

[hcoop/domtool2.git] / tests / reduce.dtl

diff --git a/tests/reduce.dtl b/tests/reduce.dtl
new file mode 100644 (file)
index 0000000..36a78b9
--- /dev/null
+++ b/tests/reduce.dtl
@@ -0,0 +1,2 @@
+One = (\x -> 1) 42;
+Fred = \x -> ((\f -> \x -> [f, \y : (int) -> x]) x)