[01:23:08] *** Quits: daherb (~daherb@dslb-002-206-251-072.002.206.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
[01:24:41] *** Quits: Flammie (~flammie@ircer.flammie.name) (Ping timeout: 260 seconds)
[01:24:55] *** Joins: Flammie (~flammie@ircer.flammie.name)
[01:25:45] *** Quits: esg (~emil@esg.xen.prgmr.com) (Ping timeout: 258 seconds)
[01:26:30] *** Joins: esg (~emil@esg.xen.prgmr.com)
[01:33:21] *** Joins: daherb (~daherb@dslb-002-206-251-072.002.206.pools.vodafone-ip.de)
[04:11:49] *** Joins: drbean (~drbean@TC210-63-209-18.static.apol.com.tw)
[04:21:02] *** Quits: drbean (~drbean@TC210-63-209-18.static.apol.com.tw) (Ping timeout: 272 seconds)
[18:35:48] <daherb> inariksit: i got a paper accepted for sltc
[19:24:39] <inariksit> daherb: cool!
[19:24:53] <inariksit> is the conference virtual or do you need to come to sweden again? :-D
[20:50:59] <daherb> inariksit: the conference will be virtual but i have to travel to sweden anyway
[21:43:20] <inariksit> yes, I remember, I'll return your book
[21:43:29] <inariksit> is this the paper where you wrote agda?