From 6a2b644be9294dc3369ad4284362781fb2f89164 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Fri, 20 Apr 2018 12:28:09 -0400
Subject: [PATCH] meeting notes

---
 notes/meeting-04-20-2018.org | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 notes/meeting-04-20-2018.org

diff --git a/notes/meeting-04-20-2018.org b/notes/meeting-04-20-2018.org
new file mode 100644
index 0000000..ac0abcc
--- /dev/null
+++ b/notes/meeting-04-20-2018.org
@@ -0,0 +1,5 @@
+* Stoups are good, keep them, but maybe we can get rid of them? It's more modular
+* Is F(>->) -| <<- I need to check the adjunction properties
+* Notation
+  - Underbars? or A,B,C vs X, Y, Z
+* Focusing for Operational Semantics?
-- 
GitLab