summaryrefslogtreecommitdiff
path: root/autochomp/tests/compare/ratata.nb
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-05-06 19:40:59 +0100
committerGreg Brown <gmb60@cam.ac.uk>2021-05-06 19:40:59 +0100
commitdfc08ff2c6580bbeb3951b223e0332546ba3b0d9 (patch)
tree60597dd9492b9c2dfa10ea610289f143dd3e41b7 /autochomp/tests/compare/ratata.nb
parentef485d6f3e4df6e1a424ba3797388fa0bba6eb2e (diff)
Introduce lambda expressions.
Diffstat (limited to 'autochomp/tests/compare/ratata.nb')
-rw-r--r--autochomp/tests/compare/ratata.nb3
1 files changed, 0 insertions, 3 deletions
diff --git a/autochomp/tests/compare/ratata.nb b/autochomp/tests/compare/ratata.nb
deleted file mode 100644
index 2cf7cd9..0000000
--- a/autochomp/tests/compare/ratata.nb
+++ /dev/null
@@ -1,3 +0,0 @@
-let opt(x) = _ | x;
-let plus(x) = [rec](x . opt(rec));
-match plus(("r" | "t") . "a");