[01:47:35] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 244 seconds) [02:58:57] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 246 seconds) [07:57:53] *** Quits: drbean (~drbean@124.219.83.42) (Quit: ZNC - http://znc.in) [08:07:24] *** Joins: Benjamin_ (8110b18f@gateway/web/freenode/ip.129.16.177.143) [08:30:06] *** Quits: Benjamin_ (8110b18f@gateway/web/freenode/ip.129.16.177.143) (Ping timeout: 250 seconds) [10:06:50] *** Joins: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [10:12:54] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 244 seconds) [10:38:37] *** Joins: spectie (~fran@unaffiliated/spectie) [11:09:42] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [12:11:47] *** Joins: spectei (~fran@unaffiliated/spectie) [12:26:09] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 276 seconds) [12:35:48] *** Joins: spectei (~fran@unaffiliated/spectie) [13:23:41] *** Joins: jutta (82f1e681@gateway/web/freenode/ip.130.241.230.129) [13:23:51] *** Joins: newbieStudent (82f10251@gateway/web/freenode/ip.130.241.2.81) [13:23:56] *** Joins: sophie__ (82f13113@gateway/web/freenode/ip.130.241.49.19) [13:23:59] *** Joins: noncsi (82f1e489@gateway/web/freenode/ip.130.241.228.137) [13:24:17] hello! [13:24:31] hello! [13:24:41] *** Joins: IfIWereABoy (82f1e6f3@gateway/web/freenode/ip.130.241.230.243) [13:24:43] *** newbieStudent is now known as newNick [13:24:51] *** newNick is now known as inariTest [13:24:56] *** Joins: Jana_ (82f10a25@gateway/web/freenode/ip.130.241.10.37) [13:25:31] go here: http://cloud.grammaticalframework.org/gfse/ [13:25:34] *** Joins: india (82f1310f@gateway/web/freenode/ip.130.241.49.15) [13:25:38] *** Joins: martapan (82f1310b@gateway/web/freenode/ip.130.241.49.11) [13:25:45] and find the grammar MLT2016_1 [13:25:57] *** india is now known as Guest7795 [13:26:01] newNick Peter [13:26:06] *** Joins: anna__ (82f10be7@gateway/web/freenode/ip.130.241.11.231) [13:26:10] *** inariTest is now known as Peter_ [13:26:17] *** Peter_ is now known as inari___ [13:26:25] *** Joins: gusdrach (82f13110@gateway/web/freenode/ip.130.241.49.16) [13:26:26] nick india [13:26:50] *** IfIWereABoy is now known as Peter_ [13:27:03] *** Peter_ is now known as Noemi2 [13:27:19] I see what you're doing :-D [13:27:40] whataaaap! [13:28:23] *** Joins: bjarki (82f1310d@gateway/web/freenode/ip.130.241.49.13) [13:29:26] \nick india [13:30:00] the other slash :) [13:30:04] /nick india [13:30:12] (I had to do a special command to let it start with /) [13:30:50] *** Quits: gusdrach (82f13110@gateway/web/freenode/ip.130.241.49.16) (Ping timeout: 250 seconds) [13:30:56] *** Parts: Guest7795 (82f1310f@gateway/web/freenode/ip.130.241.49.15) () [13:31:11] Any questions about the assignment, you can raise your hand/make noise, or ask here! [13:31:59] *** Joins: india_l (82f1310f@gateway/web/freenode/ip.130.241.49.15) [13:32:05] yay! [13:32:18] *** anna__ is now known as ajl [13:32:34] I can show after lecture how to download an IRC client, or register a nickname; or stay on the channel all the time, like I do [13:32:36] has this worked? [13:32:46] yep, you're india_l now ^_^ [13:36:25] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (Ping timeout: 252 seconds) [13:53:30] Remember, you can also paste examples of code here! [13:53:36] :) [13:53:36] if I'm busy helping other people [13:53:46] also your fellow students may be able to help [14:10:30] *** Quits: spectei (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [14:10:56] *** Joins: spectei (~fran@unaffiliated/spectie) [14:11:04] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz) [14:12:52] *** Quits: Jana_ (82f10a25@gateway/web/freenode/ip.130.241.10.37) (Ping timeout: 250 seconds) [14:34:59] When is the deadline for submission? :) [14:40:17] *** Joins: gusdrach (82f13110@gateway/web/freenode/ip.130.241.49.16) [14:40:49] Noemi2: I don't know, end of this week? [14:41:03] Jättebra :D [14:41:34] gusdrach: den gamla definitionen för Compl : V2 -> NP -> VP var den följande: [14:41:35] v2 ++ np ! Acc [14:41:41] så bara lägga till den tillbaka [14:41:46] och det borde kompilera [14:42:01] också om du har frågor och jag hjälper någon annan, kan du skriva här [14:42:08] felmeddelandet + vad du har skrivit [14:42:13] dom andra kan också hjälpa! :) [14:47:19] Noemi2: https://github.com/inariksit/GF-eus/blob/master/basque/ResEus.gf#L106 [14:47:38] https://github.com/inariksit/GF-eus/blob/master/basque/AditzTrinkoak.gf#L7 [14:49:24] Noemi2, ska du jobba med baskisk ? [14:50:28] Noemi2 är tyvärr jag (Peter) - noemi är noncsi [14:51:04] ah :) [14:52:18] i maj ska jag till donostia for att jobba med matxin (det är ett MT-system för eng/spa->eus) [14:52:24] *** Noemi2 is now known as Peter [14:52:54] *** Peter is now known as Guest47567 [14:53:46] *** Guest47567 is now known as Petey [14:53:50] peter: du måste välja et namn som andra använder inte [14:53:52] å [14:53:54] ^^ [14:54:11] Tack :D [14:54:19] you are crazy people! [14:54:48] vfr då ? XD [15:00:56] Hur lägger jag till något? [15:01:31] när det inte finns ett + tecken. [15:06:36] *** Quits: spectei (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [15:08:47] *** Joins: spectie (~fty000@unaffiliated/spectie) [15:12:14] *** Quits: ajl (82f10be7@gateway/web/freenode/ip.130.241.11.231) (Ping timeout: 250 seconds) [15:15:42] *** Quits: Petey (82f1e6f3@gateway/web/freenode/ip.130.241.230.243) (Ping timeout: 250 seconds) [15:18:44] *** Quits: gusdrach (82f13110@gateway/web/freenode/ip.130.241.49.16) (Ping timeout: 250 seconds) [15:21:56] *** Quits: bjarki (82f1310d@gateway/web/freenode/ip.130.241.49.13) (Quit: Page closed) [15:25:40] *** Quits: inari___ (82f10251@gateway/web/freenode/ip.130.241.2.81) (Ping timeout: 250 seconds) [15:34:20] *** Quits: noncsi (82f1e489@gateway/web/freenode/ip.130.241.228.137) (Ping timeout: 250 seconds) [15:50:06] *** Quits: spectie (~fty000@unaffiliated/spectie) (Quit: Leaving) [15:51:22] *** Joins: spectei (~fran@unaffiliated/spectie) [15:59:02] *** Quits: jutta (82f1e681@gateway/web/freenode/ip.130.241.230.129) (Ping timeout: 250 seconds) [16:16:06] *** Quits: sophie__ (82f13113@gateway/web/freenode/ip.130.241.49.19) (Quit: Page closed) [16:17:22] *** Quits: india_l (82f1310f@gateway/web/freenode/ip.130.241.49.15) (Quit: Page closed) [16:22:16] *** Joins: ajl (82f10c17@gateway/web/freenode/ip.130.241.12.23) [16:28:56] *** Quits: ajl (82f10c17@gateway/web/freenode/ip.130.241.12.23) (Ping timeout: 250 seconds) [16:38:28] *** Quits: martapan (82f1310b@gateway/web/freenode/ip.130.241.49.11) (Ping timeout: 250 seconds) [17:15:03] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [18:09:06] *** Joins: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de)