[00:24:06] *** Quits: spectre (~fran@115.114.202.84.customer.cdi.no) (Ping timeout: 240 seconds) [02:54:14] *** Quits: rtb (~smuxi@95.91.220.134) (Ping timeout: 260 seconds) [03:23:43] *** Quits: drbean (~drbean@124.219.82.58) (Ping timeout: 250 seconds) [03:24:09] *** Joins: drbean (~drbean@124.219.82.202) [04:34:34] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds) [05:01:16] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no) [05:40:55] *** Quits: spectre (~fran@115.114.202.84.customer.cdi.no) (Ping timeout: 240 seconds) [08:57:41] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 276 seconds) [09:16:53] *** Joins: chru (~chru@2001:638:504:20e5:80ce:7c3f:7b3c:35af) [09:37:12] hey chru! I heard you're coming to gothenburg [09:37:25] yes! :) [09:37:45] cool [09:38:42] indeed. i'm really looking forward to it. will you be around? (Dec 8-11) [09:38:58] oh yeah that's the time I'll be singing around in white pyjama at weird hours [09:39:18] so yeah, will be in gothenburg :-D [09:39:41] hehe [09:41:26] i also have a question... [09:41:42] go ahead! [09:41:47] i have an oper imptest : Imp = lin Imp { s = \ _, _ -> "Fnord!" }; [09:42:02] in an english grammar, where Imp = {s : CPolarity => ImpForm => Str} ; [09:42:19] and i get the following error: [09:42:22] Happened in operation imptest [09:42:22] function type expected instead of CPolarity => ImpForm => Str [09:42:41] i'm totally blind to see what's the problem :-/ [09:43:41] \\_,_ => instead of \_,_ -> [09:45:16] argh! [09:45:19] thanks! [09:45:28] np ^^ [09:45:41] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz) [10:22:55] *** Quits: chru (~chru@2001:638:504:20e5:80ce:7c3f:7b3c:35af) (Remote host closed the connection) [10:27:31] *** Joins: chru (~chru@2001:638:504:20e5:a105:52be:f657:83f9) [10:50:05] *** Quits: chru (~chru@2001:638:504:20e5:a105:52be:f657:83f9) (Remote host closed the connection) [10:57:33] *** Joins: chru (~chru@2001:638:504:20e5:b597:e0b4:749a:6d2e) [13:19:00] *** Joins: rtb (~smuxi@95.91.220.134) [16:50:22] *** Joins: koo8 (~kook@236.152.broadband3.iol.cz) [16:58:43] *** Parts: koo8 (~kook@236.152.broadband3.iol.cz) ("Ragequit") [17:29:57] *** Joins: crazydiamond (~crazydiam@178.141.203.6) [17:30:27] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [18:17:15] *** Quits: chru (~chru@2001:638:504:20e5:b597:e0b4:749a:6d2e) (Quit: Leaving...) [18:19:12] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 272 seconds) [19:09:08] *** Quits: rtb (~smuxi@95.91.220.134) (Ping timeout: 246 seconds) [21:35:29] *** Joins: rtb (~smuxi@95.91.220.134) [23:47:05] *** Quits: rtb (~smuxi@95.91.220.134) (Ping timeout: 240 seconds)