[03:12:23] Yes, in http://www.grammaticalframework.org/irc/freenode_%23gf_20150527.log, you showed me: [03:12:24] [09:57:34] abstract Test = Cat ** { [03:12:26] and I have that: [03:12:28] abstract MyAbstract = Cat, Conjunction ** { [03:12:30] together with my own categories, Time, Title, Place, etc [03:12:32] and in MyConcrete lincat Time = Adv; Title = CN; Place = NP, [03:12:34] but I also need to have the categories inherited from Cat, eg NP = NP; V2Q = V2Q; [04:53:17] *** Joins: daherb (~daherb@ppp-93-104-169-147.dynamic.mnet-online.de) [04:56:26] *** Quits: daherb_ (~daherb@ppp-93-104-173-75.dynamic.mnet-online.de) (Ping timeout: 252 seconds) [04:59:44] Interestingly, it is picking up on the absence of Interj from lincat: [04:59:46] linking ... GrammarToPGF.mkFId: missing category Interj [06:18:54] *** Quits: crazydiamond (~crazydiam@178.141.72.214) (Remote host closed the connection) [12:26:35] *** Joins: drbean_ (~drbean@124.219.82.109) [12:26:42] *** Quits: drbean (~drbean@124.219.82.148) (Ping timeout: 252 seconds) [12:40:56] *** Quits: drbean_ (~drbean@124.219.82.109) (Ping timeout: 246 seconds) [12:41:48] *** Joins: drbean (~drbean@124.219.83.87) [13:00:13] *** Joins: drbean_ (~drbean@124.219.82.139) [13:02:06] *** Quits: drbean (~drbean@124.219.83.87) (Ping timeout: 244 seconds) [13:05:28] *** Joins: drbean (~drbean@124.219.82.122) [13:08:45] *** Quits: drbean_ (~drbean@124.219.82.139) (Ping timeout: 265 seconds) [13:14:25] *** Joins: drbean_ (~drbean@124.219.82.97) [13:16:29] *** Quits: drbean (~drbean@124.219.82.122) (Ping timeout: 245 seconds) [13:20:34] *** Quits: drbean_ (~drbean@124.219.82.97) (Ping timeout: 276 seconds) [13:24:02] *** Joins: drbean (~drbean@124.219.83.138) [13:31:20] *** Quits: drbean (~drbean@124.219.83.138) (Ping timeout: 246 seconds) [13:33:51] *** Joins: drbean (~drbean@124.219.82.227) [13:39:25] *** Quits: drbean (~drbean@124.219.82.227) (Ping timeout: 276 seconds) [13:41:18] *** Joins: drbean (~drbean@124.219.82.145) [13:45:06] *** Joins: drbean_ (~drbean@124.219.83.214) [13:46:37] *** Quits: drbean (~drbean@124.219.82.145) (Ping timeout: 255 seconds) [13:47:08] *** Joins: drbean (~drbean@124.219.82.86) [13:49:56] *** Quits: drbean_ (~drbean@124.219.83.214) (Ping timeout: 252 seconds) [13:50:48] *** Joins: drbean_ (~drbean@124.219.82.210) [13:53:46] *** Quits: drbean (~drbean@124.219.82.86) (Ping timeout: 265 seconds) [13:57:06] *** Joins: drbean (~drbean@124.219.82.56) [13:57:14] *** Quits: drbean_ (~drbean@124.219.82.210) (Ping timeout: 256 seconds) [14:01:41] *** Joins: drbean_ (~drbean@124.219.82.88) [14:02:08] *** Quits: drbean (~drbean@124.219.82.56) (Ping timeout: 246 seconds) [14:03:21] *** Joins: drbean (~drbean@124.219.82.82) [14:04:19] *** Quits: drbean (~drbean@124.219.82.82) (Client Quit) [14:06:29] *** Quits: drbean_ (~drbean@124.219.82.88) (Ping timeout: 245 seconds) [16:18:30] *** Quits: vin-ivar (~vinit@122.170.53.39) (Ping timeout: 276 seconds) [16:33:19] *** Joins: vin-ivar (~vinit@122.170.53.39) [17:07:25] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-sxwpnahhndvkkpfu) [17:09:31] hi doppioslash! [17:09:49] inariksit: hello :) [17:10:50] augur on #typetheory mentioned the grammatical framework so here I am [17:10:56] ooh okay [17:11:07] I was just about to ask if you're one of the summer school people or how did you find us :) [17:11:32] just an interested programmer :) [17:11:44] cool [17:12:11] this channel is not the most active unfortunately, but do tag along if you're interested ^^ [17:12:34] it's more like, we have activity if someone comes and has a problem, but we don't really have general discussion usually [17:13:05] so you're interested in the type theory aspect of GF? [17:13:12] or also the NLP aspect? [17:13:39] both [17:14:31] I do functional programming in my free time, Clojure and such, but recently having taken up Haskell I encountered type theory and now I discover it's helpful for AI and NLP [17:14:37] which are interests of mine [17:15:58] nice [17:16:08] I'm a game developer by day [17:16:24] so you've just heard about GF and haven't installed it/written any grammars yet? [17:16:30] haha cool [17:16:34] nothing yet [17:16:37] I'm a phd student of aarne ranta in gothenburg [17:16:39] I have to wait to get home [17:16:46] although I'm doing slightly other stuff at the moment [17:16:47] nice [17:16:53] but the plan is to get back to GF :-D [17:17:32] (other stuff = constraint grammar, super low level compared to GF) [17:19:02] also I'm supposed to be writing a course essay for tomorrow and not talking on irc ^^; but yeah, if you have questions or anything, just ask here [17:19:26] thanks! :D [17:31:03] *** Quits: Flammie (~flammie@80.111.32.7) (Remote host closed the connection) [17:38:38] *** Joins: spectre (~fran@c-68-54-130-222.hsd1.in.comcast.net) [18:46:39] *** Joins: Flammie (~flammie@80.111.32.7) [18:55:23] hey doppioslash! [18:55:37] thanks for pointing out that #typetheory exists :P [18:58:50] vin-ivar: is that a good or a bad thing? xD [19:52:00] *** Joins: evariste (~evariste@dhcp2-225004.cs.chalmers.se) [20:24:39] *** Quits: evariste (~evariste@dhcp2-225004.cs.chalmers.se) (Remote host closed the connection) [20:29:48] *** Joins: evariste (~evariste@dhcp2-225004.cs.chalmers.se) [20:33:43] *** Quits: evariste (~evariste@dhcp2-225004.cs.chalmers.se) (Remote host closed the connection) [20:39:20] *** Joins: evariste (~evariste@dhcp2-225004.cs.chalmers.se) [20:48:23] *** Quits: evariste (~evariste@dhcp2-225004.cs.chalmers.se) (Remote host closed the connection) [21:07:23] *** Joins: Eogan (~androirc@p20030069C81FBC98B5987F65285B3E69.dip0.t-ipconnect.de) [21:42:33] *** Joins: evariste (~evariste@dhcp2-225004.cs.chalmers.se)