[04:48:55] *** Parts: e3928a3bc (b3d22a5d@gateway/web/freenode/ip.179.210.42.93) () [04:49:21] *** Quits: ConcreteBot (~ConcreteB@179.210.42.93) (Remote host closed the connection) [08:25:35] *** Quits: drbean (~drbean@210.60.168.196) (Read error: Connection reset by peer) [09:20:32] *** Quits: proteusguy (~proteus-g@cm-134-196-84-22.revip18.asianet.co.th) (Remote host closed the connection) [09:36:31] odanoburu: aha, yeah that makes sense! so variants {} is an empty linearisation, not empty string [09:36:51] the same [PredVPS] in the linearisation would happen if there just was no lin PredVPS defined [09:37:12] thanks for your emails, hope someone answers! [09:37:36] *** Joins: proteusguy (~proteus-g@180.183.123.94) [10:51:40] inariksit: is there a preprint version of your nlcs paper that one could read? [12:33:53] *** Quits: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) (Ping timeout: 248 seconds) [12:51:05] *** Quits: proteusguy (~proteus-g@180.183.123.94) (Remote host closed the connection) [12:55:32] esg: yeah, I'll just update numbers and stuff and I can publish it soon [13:07:52] *** Joins: proteusguy (~proteus-g@cm-134-196-84-54.revip18.asianet.co.th) [14:10:18] *** Joins: drbean (~drbean@TC210-63-209-160.static.apol.com.tw) [16:23:37] *** Joins: e3928a3bc (b3d22a5d@gateway/web/freenode/ip.179.210.42.93) [16:30:05] hello! [16:57:17] I don't understand why I can glue strings to the result of the `vars` oper, but can't seem to use it in a case expression.. [16:57:57] this works: cc (vars "exint" "extinguid") + "o" [16:59:46] but this doesn't: mkPass (vars "extinto" "extinguido"), where mkPass is defined as here https://gist.github.com/odanoburu/a03239d024310ff0df233743d16f8ec4 [17:16:37] I'm confused about the outputs of > cc vars "oi" "tchau" ++ [] [17:16:39] and > cc vars "oi" "tchau" + [] [18:38:28] *** Joins: Flammie (~flammie@39476.s.time4vps.cloud) [19:19:40] e3928a3bc: interesting! [19:19:44] this is as new to me as to you [20:00:37] I wonder if this behaviour is intentional, because my hack/fix might stop working if it isn't.. [20:24:36] *** Parts: e3928a3bc (b3d22a5d@gateway/web/freenode/ip.179.210.42.93) ()