[03:56:35] *** Joins: drbean (~drbean@TC210-63-209-191.static.apol.com.tw)
[09:31:16] *** Quits: drbean (~drbean@TC210-63-209-191.static.apol.com.tw) (Ping timeout: 240 seconds)
[13:29:08] *** Joins: drbean_ (~drbean@TC210-63-209-168.static.apol.com.tw)
[13:55:26] <inariksit> a GF-related master's thesis seminar tomorrow 11:00 swedish time: https://masterthesis.cms.chalmers.se/content/syntax-based-concept-alignment-machine-translation-httpschalmerszoomusj61075211759
[14:45:34] *** Quits: drbean_ (~drbean@TC210-63-209-168.static.apol.com.tw) (Ping timeout: 265 seconds)
[18:23:10] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se)
[18:23:22] <wmacmil> what's the vertical bar, | , mean in the following
[18:23:23] <wmacmil>       case <x.isSymbolic,y.isSymbolic> of {
[18:23:23] <wmacmil>         <True,True> => app2 f.s x.s y.s | app f.v x.s y.s ;
[18:23:23] <wmacmil>         _ => app f.v x.s y.s
[18:23:23] <wmacmil>       } ;
[18:37:33] <wmacmil> also, where does app come from ?
[18:50:42] <daherb> wmacmil: the | is a shorthand for variants
[18:55:08] <wmacmil> @daherb thanks
[22:46:28] <daherb> sometimes it is difficult to debug a grammar when my test strings are the same as the ones hardcoded into gf
[22:46:49] <daherb> i should stop using foo in my grammars
[23:50:24] <daherb> i came up with the idea to use gf to generate and translate my cv and i am slowly making progress