[03:22:37] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.)
[10:30:00] *** Quits: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) (Ping timeout: 258 seconds)
[11:02:17] *** Joins: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de)
[11:13:11] *** Joins: fotonzade (~fotonzade@88.244.244.93)
[11:13:58] *** Quits: fotonzade (~fotonzade@88.244.244.93) (Remote host closed the connection)
[11:22:29] *** Joins: fotonzade (~fotonzade@88.244.244.93)
[11:33:52] *** Quits: fotonzade (~fotonzade@88.244.244.93) (Ping timeout: 260 seconds)
[12:41:50] *** Joins: sirdancealot (~sirdancea@79.98.72.195)
[12:42:52] *** Joins: freeside (~mengwong@host109-154-139-70.range109-154.btcentralplus.com)
[12:42:54] <freeside> mooooo
[13:48:05] <inariksit> moo
[13:52:31] <daherb> gobble gobble
[14:03:12] <freeside> hm, shall i update all the documentation to talk about GF instead of Darcs?
[14:10:19] <inariksit> you mean git?
[14:10:39] <inariksit> our own documentation isn't up to date on that yet :-P there's just the email on the GF mailing list
[14:19:59] <freeside> yeah, i noticed your question to the list
[14:20:06] <freeside> i will submit a pull request
[14:40:47] <freeside> just doing a quick build to make sure i didn't break anything
[14:40:56] <freeside> what tool converts .t2t to .html?
[14:41:08] <freeside> i noticed doc/txt2html seems to have bitrotted, it is talking about the wrong set of files
[14:46:27] <inariksit> http://txt2tags.org/ I think
[15:00:13] <freeside> gotcha, thanks
[15:00:17] <freeside> ok, i have put in a pull request https://github.com/GrammaticalFramework/GF/pull/4
[15:00:32] <freeside> </procrastination>
[15:00:34] <inariksit> hihi
[15:00:48] <inariksit> that's more useful procrastination than mine usually ^^
[15:01:02] <inariksit> I'm right now working on updating punctuation in the whole RGL to use SOFT_BIND and BIND
[15:02:14] <freeside> mmm
[15:04:34] <inariksit> I don't seem to be able to merge it
[15:04:39] <inariksit> but let's wait for thomas :-P
[15:07:14] <freeside> yeah, you can't merge it until it's been accepted
[15:07:23] <freeside> once you merge it, master will update
[15:07:39] <freeside> i have added instructions for how to do a merge from upstream
[15:08:49] <freeside> your fork is going to need a fair amount of resetting
[15:10:20] <freeside> https://github.com/inariksit/GF is 9142 commits ahead, 10101 commits behind GrammaticalFramework:master lol
[15:10:42] <inariksit> ah no this is just an old one, I already have push access to the repo on the server
[15:10:49] <inariksit> but apparently I am not an owner on github
[15:11:10] <freeside> you have push access to darcs, but not on github, right
[15:11:35] <inariksit> https://github.com/GrammaticalFramework/GF/commits/master the latest two commits I did directly on grammaticalframework.org:/usr/local/GF.git
[15:11:54] <inariksit> and the two yesterday on the repo I just cloned on my computer
[15:11:56] <freeside> and then that was migrated over to github?
[15:11:59] <inariksit> yeah
[15:12:12] <freeside> i think it would be good for the server's ACL to migrate over to https://github.com/orgs/GrammaticalFramework/people
[15:13:42] <freeside> and use pull requests in future to submit patches
[15:13:56] <freeside> but different projects run at different levels of formality, i dunno
[15:21:08] <inariksit> yeah I think the maintainers are still learning about git themselves :-P
[15:21:12] <inariksit> I suppose this will happen in the future
[15:23:47] <freeside> well, back to sorting out LBNF / BNFC / EBNF / CFG
[15:23:51] <inariksit> the future is now apparently :-D https://github.com/orgs/GrammaticalFramework/people
[15:23:55] <freeside> good luck with your punctuation
[15:23:58] <inariksit> thanks!
[15:24:30] <freeside> once i start getting into Haskell and PGF i may be able to be helpful
[15:24:45] <freeside> right now i'm still working on a toy BNF for my language
[15:29:53] <freeside> when i do a pg at the gf REPL what is the language used for the concrete part of the output?
[15:30:27] <freeside> the syntax looks weirdly different, it has things like lindefs and linrefs and sequences, and := all over the place
[15:33:28] <inariksit> aha that's a human-readable version of the PGF format, I suppose
[15:33:53] <inariksit> stuff like this?
[15:33:54] <inariksit> F21031 := (S85828,S85829,S85825,S85827,S85826,S150740,S150741,S150737,S150739,S150738,S150740,S150741,S150737,S150739,S150738) [hopeless_A] F21032 := (S85833,S85834) [hopelessness_N]
[15:34:32] <inariksit> it's a flat version of the nice human-readable GF grammar; all parameters are compiled away and you only have strings
[15:34:38] <inariksit> or well, tuples of strings
[15:35:30] <freeside> hm, i see.
[15:35:41] <inariksit> this paper explains the format https://link.springer.com/content/pdf/10.1007%2Fs10849-009-9112-y.pdf
[15:35:48] <freeside> is there some --output-format or --printer that matches traditional GF format?
[15:37:22] <inariksit> do you mean, when you input some *bnf file, and you'd like to get a GF grammar out?
[15:37:24] <inariksit> I don't know
[15:38:25] <inariksit> but you can type help pg in the GF shell
[15:38:49] <freeside> ok
[17:40:32] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Remote host closed the connection)
[20:19:41] <freeside> progress, progress