summaryrefslogtreecommitdiff
path: root/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp')
-rw-r--r--intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp42
1 files changed, 0 insertions, 42 deletions
diff --git a/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp b/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp
deleted file mode 100644
index 049e7f9..0000000
--- a/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp
+++ /dev/null
@@ -1,42 +0,0 @@
-#pragma once
-
-#include "ref.hpp"
-#include "../level-1/helpers.hpp"
-
-namespace intellect {
-namespace level2 {
-
-// get a named variable
-ref avariable(ref name);
-
-template <typename... T>
-ref and(T... refs)
-{
- std::initializer_list<ref> rs = { refs... };
- decl(and, topic);
- ref ret = a(and);
- ref name; int count = 0;
- for (auto r : rs) {
- ret.link(topic, r);
- if (count == 0) {
- name.ptr() = r.ptr();
- } else {
- name.ptr() = (name-and-r).ptr();
- }
- ++ count;
- }
- if (count == 1) {
- throw std::invalid_argument("and needs at least two subjects");
- }
- // in level-1, we'll want to name anonymous objects after defining them
- return name = ret;
-}
-
-// make a reference to a link
-ref link(ref sourceref, ref typeref, ref targetref);
-
-// invert a meaning
-ref not(ref whatref);
-
-}
-}