Add initial logfile

1 files changed, 20 insertions, 0 deletions

diff --git a/log.org b/log.org
new file mode 100644
index 00000000..7d0b13e1
--- /dev/null
+++ b/log.org
@@ -0,0 +1,20 @@
+#+STARTUP: indent content 
+#+TODO: TODO STALLED WONTFIX | DONE
+
+* [2024-01-10 Wed] commit 7a3a5a07e
+** log
+- As of today I have a working `connectTypes` method which uses
+  user-supplied type arithmetic in the `TypeArithmetic` object to
+  resolve connected types.
+- Motivation for connectTypes was to replicate the functionality of
+  diplomacy when it does ":="
+- Chatting with Adam about this, we noted the difference in philosophy
+  between `connectTypes` and diplomatic `:=` connection. 
+** `connectTypes` vs diplomatic `:=`
+- Diplomatic connections serve to "note down" the connection to be
+  made with `makeIOs`. These connections are made after the second
+  stage of diplomacy finishes and the types are resolved. So there's a
+  sequence of events with `:=`
+- `connectTypes` resolve types /and/ make the IO connections at the
+  same time. 
+