[05:10:21] *** Joins: drbean (~drbean@TC210-63-209-88.static.apol.com.tw) [10:22:56] *** Quits: drbean (~drbean@TC210-63-209-88.static.apol.com.tw) (Ping timeout: 256 seconds) [13:09:48] *** Joins: drbean (~drbean@TC210-63-209-41.static.apol.com.tw) [13:14:45] if anyone wants to see the cleaned up talk by daherb - here you go https://media.ccc.de/v/rc3-232856-type_theory_and_meaning_in_linguistics [14:50:34] *** Quits: drbean (~drbean@TC210-63-209-41.static.apol.com.tw) (Ping timeout: 246 seconds)