[04:31:52] *** Quits: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 256 seconds) [06:01:02] *** Joins: proteus-guy (~proteus-l@cm-58-10-155-1.revip7.asianet.co.th) [07:09:28] *** Quits: proteus-guy (~proteus-l@cm-58-10-155-1.revip7.asianet.co.th) (Ping timeout: 256 seconds) [07:22:21] *** Joins: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) [11:10:06] daherb: nice! [11:10:10] any languages in mind? [11:18:22] i guess i get quicker results with an italian miniresource grammar but i now have my stack of middle high german grammar books and lexica [13:35:38] sometimes i wish i knew more about russian or other slavic languages [14:29:57] *** Joins: michmech (~Thunderbi@cst-prg-104-250.cust.vodafone.cz) [14:32:06] *** Quits: michmech (~Thunderbi@cst-prg-104-250.cust.vodafone.cz) (Client Quit) [15:43:22] *** Joins: wmacmil (~wmacmil@c83-248-104-92.bredband.comhem.se) [15:43:28] hey [15:43:45] is there any place to find documentation for lists [15:44:34] specifically, Aarne uses a list category as follows [15:44:45] cat [15:44:45] Exp ; -- formal expression -- x + y = z [15:44:45] Var ; -- variable -- x [15:44:45] [Var]{1} ; -- list of variables -- x, y, z [15:44:45] [Exp]{1} ; -- list of expressions -- 1_{A}, A [15:45:08] lincat [15:45:08] Exp = Str ; [15:45:08] Var = Str ; [15:45:08] [Var] = {s : Str ; isPl : Bool} ; [15:45:08] [Exp] = {s : Str ; isPl : Bool} ; [15:45:38] what does the {1} arguement mean? [15:46:34] and does the linearization category explicity or implicitly use this information [16:05:37] *** Quits: wmacmil (~wmacmil@c83-248-104-92.bredband.comhem.se) (Ping timeout: 264 seconds) [16:58:17] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [17:01:48] hi wmacmil! [17:01:55] let's see, it is somewhere [17:01:55] hej! [17:04:25] here's something and links https://groups.google.com/forum/#!searchin/gf-dev/lists%7Csort:date/gf-dev/v8MK8Nvxfv8/17JLs2DpBQAJ [17:04:52] tack! [17:05:02] also here's a preprint of aarne's book https://listenmaa.fi/b/Aarne_Ranta-GF-book.pdf [17:06:39] and here's a cheat sheet I copy and paste into all resource grammars I write :-D https://github.com/GrammaticalFramework/gf-rgl/blob/master/src/basque/ConjunctionEus.gf#L6-L28 [17:19:45] thank you! [17:36:01] wmacmil: the {1} means that the base case constructor expects one argument i think [17:36:29] so you can have a "singleton" list