From e0aa487492a1ad8aecbc59a140af9e66620c875e Mon Sep 17 00:00:00 2001 From: timv Date: Sun, 9 Dec 2012 20:35:23 -0500 Subject: [PATCH] added a few more dyna examples --- examples/simple.dyna | 3 +++ examples/trace.dyna | 3 +++ external/damsl-k3 | 1 - external/ekmett-parsers | 1 - external/ekmett-trifecta | 1 - 5 files changed, 6 insertions(+), 3 deletions(-) create mode 100644 examples/simple.dyna create mode 100644 examples/trace.dyna delete mode 160000 external/damsl-k3 delete mode 160000 external/ekmett-parsers delete mode 160000 external/ekmett-trifecta 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 -- 2.50.1