[06:10:13] *** Joins: JuanDaugherty (~juan@98.4.124.117) [08:04:13] vin-ivar, esg, everyone interested in the grammar writing retreat: kristian is seriously offering estonia for the end of august! \o/ what do you say? he's not sure if 1 or 2 weeks could be feasible, and I don't know how feasible these things are to you, but I'm totally in [08:04:52] mbrock: should be easily reachable for you too from riga ^^ [08:05:20] and obviously anyone who I didn't name is welcome, I just pinged those who earlier expressed interest! [08:35:55] *** Quits: proteus-guy (~proteus-g@2405:9800:bc10:1ca:1187:3d1f:d12:507f) (Remote host closed the connection) [08:45:41] inariksit: sounds great! i'd really like to come. i can't fully commit yet, and i think that one week might be more feasible than two for me, but i will do my best. [08:45:50] yay! [08:46:22] ESSLLI ends on 17th august, so if vin wants to come, it would be better after that [08:46:32] kristian's kids go to daycare around 13th [08:46:49] but if we do one week, it could be like 18-25 or something like that [08:47:14] that sounds good to me! [08:47:36] \o/ [08:49:02] more gf questions: i am playing around with the numerals grammar from gf-contrib. [08:49:51] when looking at hebrew_biblical.gf the characters come out in the opposite order in the shell from what they look like in the editor. [08:50:31] i've never dealt with right-to-left scripts before so i don't know the cause - editor, gf shell, terminal... [08:50:51] i'm not even sure in what order the chars are stored in the file... [08:52:46] it's the terminal most likely [08:53:11] there are always bunch of windows users with the same problem in the summer schools [08:53:56] i see. i'll try another terminal emulator. [08:54:03] well, I don't really know if it's the terminal specifically, but usually when someone has a problem with non-latin scripts, it's not the GF itself that is the problem [08:55:28] no, i figured that gf would probably not be to blame, it would have been noticed long ago. [08:58:50] *** Joins: proteus-guy (~proteus-g@14.207.99.114) [09:02:41] a related question, when i have an oper that takes a bunch of string arguments like this [09:02:58] myop : Str -> Str -> Type [09:03:16] when used in the grammar [09:03:26] myop "s1" "s2" [09:03:57] s1 and s2 also come out swapped. s2 becomes the first arg and s1 the second. slightly confusing. [09:04:49] it makes sense i suppose, i mean why wouldn't the whole section of the file consisting of the two strings be in rtl. [09:10:55] inariksit: you were right. recording for posterity: mlterm seems to be the terminal emulator to use. everything comes out right-to-left. unfortunately only as rectangles - i have to figure out how to specify a good font. [09:12:52] haha, sounds annoying [11:26:56] *** Quits: proteus-guy (~proteus-g@14.207.99.114) (Remote host closed the connection) [12:13:14] ok, if i use mlterm, and install the culmus font package and rebind the menu key in mlterm so that i can change the font, everything now works very well! [12:18:15] yay! care to document that so we can link it to others? ^^ [12:20:24] where would you like to have it documented? [12:21:08] it would be nice to have a wiki or something like that [12:21:25] this seems to exist on the website :-D https://code.google.com/archive/p/grammatical-framework/wikis/SideBar.wiki [12:21:53] i've also solved my other 'problem', by inserting the unicode character U+200E between the strings, i can now have them appear in the natural order! [12:22:04] cool! [12:22:13] you can start by just writing a page like I did here http://old-darcs.grammaticalframework.org/~inari/gf-windows.html [12:22:25] I mean if you want, you're by no means obliged to do anything more than reporting here [12:22:31] using C-x 8 in emacs [12:23:15] inariksit: i might write something [12:23:41] (speaking of my windows guide, it's 4 years old and lot of it is outdated, so yeah) [12:31:28] yeah, that's the nature of documentation, isn't it. [12:51:21] yeah :-P [17:18:29] vin-ivar: any comment on kristian's suggestion? ^^ after the 17th august a week or two in estonia [17:18:47] > Also I think I can organize a shorter bus trip expedition and a guide to talk about folklore, places traditipns etc. Also I hope there will be something cool going on in the various culture houses. [17:19:05] and his neighbour has chicken ^_^ [17:20:01] ooh [17:20:11] after 17th august is perfect [17:20:14] that's just after esslli [17:20:16] :D [17:20:26] chickens++ [17:26:19] woo! [17:27:08] so we should totally do it! like actually tell kristian that at least you and me, and hopefully esg and daherb are really for real coming, and then he can decide if he wants to host us for 1 or 2 weeks, and if we should advertise on the GF mailing list or through some other channels [17:27:50] since it's kristian's home we're talking about, I'd rather let him decide how many people he wants to organise this for ^^ so far I've been talking about a handful, but he also speculated about renting a bus for a week :-D [17:29:01] i don't think i know kristian, just fyi [17:29:02] :D [17:29:51] oh yeah right, he was at this year's GF summer school [17:30:46] he's super nice, and is doing resources for votic, which has around 10 speakers [17:30:54] D: [17:30:56] nice! [18:26:09] *** Joins: koom (~koo5@109.107.211.244) [19:07:54] *** Quits: koom (~koo5@109.107.211.244) (Remote host closed the connection) [19:09:47] *** Joins: koom (~koo5@109.107.211.244) [19:11:50] *** Quits: koom (~koo5@109.107.211.244) (Remote host closed the connection) [19:12:11] *** Joins: koom (~koo5@109.107.211.244) [19:20:34] *** Quits: koom (~koo5@109.107.211.244) (Remote host closed the connection) [19:52:30] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [21:47:21] *** Joins: koom (~koo5@109.107.211.244) [21:51:44] *** Quits: koom (~koo5@109.107.211.244) (Ping timeout: 255 seconds)