1 files changed, 9 insertions, 0 deletions
diff --git a/log.org b/log.org
index 7d0b13e1..82cc8eae 100644
--- a/log.org
+++ b/log.org
@@ -18,3 +18,12 @@
 - `connectTypes` resolve types /and/ make the IO connections at the
   same time. 
 
+* [2024-02-14 Wed] Wokring AbstractInterface arithmetic
+** log
+- Add a new file AbstractModuleStandalone.scala which i copied over from scastie
+- Add a new implicit generic function =abstractInterfaceConnection=
+  which allows perfoming computations on AbstractInterfaces. Now, the
+  user only needs to supply type arithmetic on =A => B => C= in order
+  to get =AbstractInterface[A] => AbstractInterface[B] =>
+  AbstractInterface[C]= to work.
+- Next step will to be figure out multiple arities for =AbstractInterface=