From e7bdafd06c0760c562b27ce8a483493ce7f06864 Mon Sep 17 00:00:00 2001
From: Aditya Naik
Date: Thu, 11 Jan 2024 12:08:30 -0800
Subject: Add initial logfile

---
 log.org | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 log.org

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. 
+
-- 
cgit v1.2.3