1 files changed, 39 insertions, 0 deletions
diff --git a/starts/meaning-vm/level1.cpp b/starts/meaning-vm/level1.cpp
new file mode 100644
index 0000000..2e7833c
--- /dev/null
+++ b/starts/meaning-vm/level1.cpp
@@ -0,0 +1,39 @@
+#include "level-1/level-1.hpp"
+
+#include <iostream>
+
+using namespace intellect::level1;
+using namespace concepts;
+
+int main()
+{
+	decl(make, linked, habit);
+	decl(needs, assumes, makes);
+	decl(not, topic);
+	decl(A, B, C);
+	decl(source, type, target);
+
+	(make-linked).set(is, habit);
+	(make-linked).set(needs, []() -> ref {
+			decl(structure, function, argument, position);
+			decl(variable, A, B, C, provide);
+
+			ref ret = a(structure);
+			ret.link(is, function-argument);
+			ret.set(argument-position, vref<int>(1)),
+			ret.set(a(variable, A), provide);
+			ret.set(a(variable, B), provide);
+			ret.set(a(variable, C), provide);
+			return ret;
+	}());
+	a(link, A-B-C-linked).set(link-source, A);
+	(A-B-C-linked).set(link-type, B);
+	(A-B-C-linked).set(link-target, C);
+	a(not, not-A-B-C-linked).set(topic, A-B-C-linked);
+	(make-linked).set(assumes, not-A-B-C-linked);
+	(make-linked).set(makes, A-B-C-linked);
+
+	std::cout << (make-linked).dump("dumped", true) << std::endl;
+
+	return 0;
+}