Add command-line interface ./match (adapted from POPL 2012 version).

[match/match.git] / program / example.in

diff --git a/program/example.in b/program/example.in
new file mode 100644 (file)
index 0000000..167622a
--- /dev/null
+++ b/program/example.in
@@ -0,0 +1,4 @@
+1      1       1       1       1
+15     10      15      40      20
+30     7       10      15      15
+15     25      20      20      15