[03:09:22] *** Quits: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 246 seconds) [04:26:45] *** Joins: drbean (~drbean@TC210-63-209-30.static.apol.com.tw) [06:36:53] *** Quits: drbean (~drbean@TC210-63-209-30.static.apol.com.tw) (Ping timeout: 260 seconds) [09:31:23] daherb: well, since november 30, almost every day has been some discussion! http://www.grammaticalframework.org/irc/ [09:31:53] apart from 5th and 6th december, these have been the most active 10 days since gf summer school 2017 :-D [09:32:31] i guess i should check the logs [09:33:09] yeah, and if you know how to answer some of the questions about dependent types and HOAS that I couldn't, do contribute [09:34:00] also, I'm flying to singapore in exactly 3 weeks \o/ [09:39:55] congrats [11:05:51] *** Joins: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) [12:48:13] *** Joins: drbean (~drbean@TC210-63-209-80.static.apol.com.tw) [13:20:55] *** Joins: wmacmil__ (~wmacmil@c83-252-138-144.bredband.comhem.se) [13:23:05] *** Quits: wmacmil_ (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) [14:18:18] *** Quits: drbean (~drbean@TC210-63-209-80.static.apol.com.tw) (Ping timeout: 260 seconds) [14:40:43] daherb: thanks! [14:40:58] also, can you send the link to aarne's and harald's paper to kristian? [14:41:10] or rather to the whole group, I'm curious too! [14:44:01] *** Joins: fl0_id (~fl0_id@2a01:4f8:171:4de::40:2) [14:44:10] hi also on IRC :-D [14:44:17] hi :) [14:44:28] all hooked up [14:44:48] btw, meng is also on this channel (freeside), although he doesn't speak much :-D [14:57:33] inariksit thx, good to know :) [23:38:56] inariksit: i have the pdf saved but i currently don't have access. hope to be able to post it the next few days