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

Affected files: later.md
2026-08-06 22:46:19 +00:00 · 2021-05-30 18:31:57 +02:00
parent 2a148f4472
commit 38e3b63f87
1 changed files with 5 additions and 2 deletions
@@ -14,7 +14,10 @@
  	- [[plurals auto pull]]
 		- equals better treatment for [[lists]]
 	  - [[force directed graph]] must auto pull [[force directed graphs]]
-		- fixes a common search case
-    - otherwise need to improve search *a lot*
+	    - that is, auto pull plurals
+		- fixes a common search case now broken (ne)
+		- auto pull makes 'or' behaviour of search trivially implementable
+		- auto pulls are [[morphisms]]
+