]> hydra-www.ietfng.org Git - dyna2/commitdiff
added a few more dyna examples
authortimv <tim.f.vieira@gmail.com>
Mon, 10 Dec 2012 01:35:23 +0000 (20:35 -0500)
committertimv <tim.f.vieira@gmail.com>
Mon, 10 Dec 2012 01:35:23 +0000 (20:35 -0500)
examples/simple.dyna [new file with mode: 0644]
examples/trace.dyna [new file with mode: 0644]
external/damsl-k3 [deleted submodule]
external/ekmett-parsers [deleted submodule]
external/ekmett-trifecta [deleted submodule]

diff --git a/examples/simple.dyna b/examples/simple.dyna
new file mode 100644 (file)
index 0000000..dc61a67
--- /dev/null
@@ -0,0 +1,3 @@
+a :- b.
+b :- c.
+c.
diff --git a/examples/trace.dyna b/examples/trace.dyna
new file mode 100644 (file)
index 0000000..e935f60
--- /dev/null
@@ -0,0 +1,3 @@
+
+% trace of a matrix named "a"
+trace("A") += matrix("A", X, X).
diff --git a/external/damsl-k3 b/external/damsl-k3
deleted file mode 160000 (submodule)
index c3b0e41..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c3b0e41c74c11c7e62934fd0f6fb96607a83e270
diff --git a/external/ekmett-parsers b/external/ekmett-parsers
deleted file mode 160000 (submodule)
index 9e0853b..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9e0853be2747a372fce77682a61cb19116a2a882
diff --git a/external/ekmett-trifecta b/external/ekmett-trifecta
deleted file mode 160000 (submodule)
index 3f4fbca..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 3f4fbca985c01bb921d54a0874eefbe610a964ac