[[snapshot]]: 2021-05-30 18:33:57

Affected files:

.obsidian/workspace
"action code.md"
later.md

.obsidian/workspace

@@ -46,6 +46,17 @@
                   }
                 }
               },
+              {
+                "id": "4a54815fc38d912c",
+                "type": "leaf",
+                "state": {
+                  "type": "markdown",
+                  "state": {
+                    "file": "action code.md",
+                    "mode": "source"
+                  }
+                }
+              },
               {
                 "id": "82232e5e65841aef",
                 "type": "leaf",
@@ -157,7 +168,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "later.md",
+                "file": "action code.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -174,7 +185,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "later.md"
+                "file": "action code.md"
               }
             }
           },
@@ -215,8 +226,9 @@
     "width": 300,
     "collapsed": true
   },
-  "active": "2e018ef0a7717f8c",
+  "active": "4a54815fc38d912c",
   "lastOpenFiles": [
+    "action code.md",
     "later.md",
     "onkyo volume.md",
     "break glass.md",
@@ -225,7 +237,6 @@
     "2021-05-30.md",
     "category theory basics.md",
     "obsidian attachments.md",
-    "chunking express.md",
-    "blaine.md"
+    "chunking express.md"
   ]
 }

action code.md

@@ -0,0 +1,3 @@
+- [[action code]]
+	- the action engine in the [[agora]]
+	- currently in [[]]

later.md

@@ -15,10 +15,10 @@
 		- equals better treatment for [[lists]]
 	    - [[force directed graph]] must auto pull [[force directed graphs]]
 	    - that is, auto pull plurals
-		- fixes a common search case now broken (as we only do [[exact match]])
-		- auto pull makes 'or' behaviour of search trivially implementable
-		- auto pulls are [[morphisms]]
-		- any search policy/ranking can be expressed as a composition of morphisms
+		- fixes a common search case now broken (as we only do [[exact match]] plus resolution of user-specified, so explicit, [[pulls]])
+			- auto pull makes 'or' behaviour of search trivially implementable
+			- auto pulls are [[action code]] that implements a [[morphism]]
+			- any search policy/ranking can be expressed as a composition of morphisms