[02:57:26] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 276 seconds)
[05:24:58] *** Quits: kook_ (~kook@210.14.broadband15.iol.cz) (Quit: Ex-Chat)
[05:25:22] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[07:37:29] <drbean> I posted a "fix", removal of "whom", to the list.
[08:34:47] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 276 seconds)
[09:06:18] <inariksit> drbean: thanks!
[09:08:29] *** Joins: spectie (~fran@unaffiliated/spectie)
[09:49:14] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 250 seconds)
[10:13:36] *** Joins: spectie (~fran@unaffiliated/spectie)
[10:19:15] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 276 seconds)
[10:39:09] *** Joins: spectei (~fran@158.227.0.239)
[10:39:09] *** Quits: spectei (~fran@158.227.0.239) (Changing host)
[10:39:09] *** Joins: spectei (~fran@unaffiliated/spectie)
[12:35:06] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 276 seconds)
[12:57:32] *** Joins: noncsi (82f1e4f7@gateway/web/freenode/ip.130.241.228.247)
[12:58:00] <noncsi> hi all! i have a mysterious error in my regVerb ^^
[12:58:12] <noncsi> Happened in operation regVerb       A function type is expected for mkVerb hervad (labdaz + "ok") (labdaz + "tam") (labdaz + "ol") (labdaz + "tál") (labdaz + "ik") (labdaz + "ott") (labdaz + "unk") (labdaz + "tunk") (labdaz + "tok") (labdaz + "tatok") (labdaz + "nak") instead of type {s : Agr => TTense => Str}
[12:59:00] <noncsi> any ideas or should i link some of the code as well somehow? :)
[13:14:56] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 276 seconds)
[13:31:46] *** Quits: noncsi (82f1e4f7@gateway/web/freenode/ip.130.241.228.247) (Ping timeout: 250 seconds)
[13:33:03] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[13:40:45] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 246 seconds)
[13:56:18] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[14:06:38] *** Joins: noncsi (82f1e4f7@gateway/web/freenode/ip.130.241.228.247)
[14:23:02] *** Joins: spectei (~fran@unaffiliated/spectie)
[15:10:46] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 250 seconds)
[16:14:51] <noncsi> hi?
[18:16:02] *** Quits: noncsi (82f1e4f7@gateway/web/freenode/ip.130.241.228.247) (Ping timeout: 250 seconds)
[18:30:38] <inariksit> aah just the day I'm travelling all over germany on a tain, there is a studebt on the channel!
[18:31:14] <Flammie> where are you now jetzt?
[18:31:48] <inariksit> now i'm innetherlands
[18:31:56] <inariksit> where they have wifi in de trein
[18:32:54] <Flammie> a kostenlös wifi?
[18:33:30] <inariksit> yep"
[18:35:32] <Flammie> such advanced culture
[18:35:52] <inariksit> yeah!
[18:36:39] <inariksit> felt a bit silly to pass hamburg and then travel for like 3-4 more hrs :-D but I've been reasing papers and coding a bit
[18:36:48] <inariksit> it's nice for work to not have wifi
[18:36:59] <inariksit> well for some kind of work
[18:39:44] <Flammie> absolutely
[18:39:55] <Flammie> however, having electric sockets would be useful
[19:12:21] <inariksit> yeah
[19:18:07] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds)
[20:26:30] *** Quits: daherb (~daherb@cse-principia.cse.chalmers.se) (*.net *.split)
[20:26:46] *** Joins: daherb (~daherb@cse-principia.cse.chalmers.se)