X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1a4e5a6c9a8fbbdc980cf0661c444ddc2910544a..492c1cff68a2da969a559627725369c211470c92:/tests/reduce.dtl

diff --git a/tests/reduce.dtl b/tests/reduce.dtl
new file mode 100644
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)