From fc314e734722c42145b9f1f3483a599ee09c12b0 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sun, 30 May 2021 18:32:58 +0200
Subject: [PATCH] [[snapshot]]: 2021-05-30 18:32:57

Affected files:

later.md
---
 later.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/later.md b/later.md
index d1c4f91bd..53da2de4e 100644
--- a/later.md
+++ b/later.md
@@ -11,13 +11,14 @@
     - check out [[gtoolkit]]
     - [[javascript subnodes]]. Think about how they interact with functionality like [[auto pull]], which I disabled by default due to performance issues and would prefer to make into an async call.
 	 - see [[js util]] by [[vera]]
-  	- [[plurals auto pull]]
+  	- [[push]] [[plurals auto pull]]
 		- equals better treatment for [[lists]]
-	  - [[force directed graph]] must auto pull [[force directed graphs]]
+	    - [[force directed graph]] must auto pull [[force directed graphs]]
 	    - that is, auto pull plurals
-		- fixes a common search case now broken (ne)
+		- 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