added a few more dyna examples

diff --git a/examples/simple.dyna b/examples/simple.dyna
new file mode 100644 (file)
index 0000000..dc61a67
--- /dev/null
+++ b/examples/simple.dyna
@@ -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
+++ b/examples/trace.dyna
@@ -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
--- a/external/damsl-k3
+++ /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
--- a/external/ekmett-parsers
+++ /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
--- a/external/ekmett-trifecta
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 3f4fbca985c01bb921d54a0874eefbe610a964ac