Auto: misc.

2026-08-06 06:26:20 +00:00 · 2021-01-30 18:05:10 +01:00
parent 3c976dcc32
commit 723d124394
2 changed files with 10 additions and 0 deletions
@@ -0,0 +1,9 @@
+# Definitions
+
+- A [[node]] can contain an arbitrary number of [[definitions]] in the form of [[logical propositions]].
+
+
+[//begin]: # "Autogenerated link references for markdown compatibility"
+[node]: node "Node"
+[definitions]: definitions "Definitions"
+[//end]: # "Autogenerated link references"
@@ -1,5 +1,6 @@
 # Useful Definitions

 - A [[list]].
+  - [[useful]] [[definitions]]
 - https://twitter.com/flancian/status/1355562246211039232