From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Fri, 28 Jun 2013 21:16:49 +0000 (-0400)
Subject: ()
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=e0013d08f808c8540d79f7b489e25ddefad10d44;p=dyna2

()
---

diff --git a/examples/expected/lists.py.out b/examples/expected/lists.py.out
new file mode 100644
index 0000000..65239f2
--- /dev/null
+++ b/examples/expected/lists.py.out
@@ -0,0 +1,9 @@
+
+Solution
+========
+a := [1, 2]
+
+f/1
+===
+f([1, 2])                      := true
+