From: timv Date: Mon, 10 Dec 2012 01:35:23 +0000 (-0500) Subject: added a few more dyna examples X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=e0aa487492a1ad8aecbc59a140af9e66620c875e;p=dyna2 added a few more dyna examples --- diff --git a/examples/simple.dyna b/examples/simple.dyna new file mode 100644 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 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 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 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 index 3f4fbca..0000000 --- a/external/ekmett-trifecta +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3f4fbca985c01bb921d54a0874eefbe610a964ac