[04:50:11] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:9967:5a44:f656:b270) [05:18:58] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 260 seconds) [05:19:13] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [05:19:13] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [05:19:13] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [05:28:04] *** Joins: jbalint_ (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [05:28:16] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 260 seconds) [09:07:00] *** Joins: koo5 (~koom@79.98.72.195) [12:20:57] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 240 seconds) [12:57:25] *** Joins: koo5 (~koom@79.98.72.195) [19:04:09] *** Joins: JuanDaugherty (~juan@98.4.124.117) [20:16:01] *** Joins: venicecat (5059484b@gateway/web/freenode/ip.80.89.72.75) [20:17:05] greetings! [20:19:34] I'm trying to do a mkCl : N -> V -> Digits to make a sentence that says investor invests 300,000 [20:19:49] lol couldn't makt it work though - any suggestions? [20:20:22] here's the longish error message Happened in linearization of Pred no overload instance of mkCl for N V Digits among NP V NP V2 NP NP V3 NP NP NP VV VP NP VS S NP VQ QS NP VA A NP VA AP NP V2A NP A NP V2A NP AP NP V2S NP S NP V2Q NP QS NP V2V NP VP NP VPSlash NP NP A NP A NP NP [20:25:06] hey! [20:26:00] there is no mkCl with that instance [20:26:11] also it should be mkCl : X -> Y -> Z -> Cl [20:26:29] it's probably easier to transform the Digits into NP and then use an existing mkCl [20:27:15] how do you transform digits into NP? [20:27:28] "300,000 euros" or whatever currency would be easy to make with mkNP : Digits -> N -> NP, but you can do some dirty hack [20:27:34] like use that mkNP but with an empty N [20:28:00] create some internal oper dummy_N = mkN [] [20:28:17] and don't use it anywhere else or you will get crazy shit, like that being recognised in empty strings [20:28:33] either that, or you could also do like [20:28:40] whatever_N = mkN "some real word" [20:29:08] ahh i see [20:30:03] thanks! [20:30:08] and then a fun DigToN : Digits -> N ; where you first extract the string from the Digits [20:30:35] and just use mkN for that string [20:30:37] (ok this whatever_N is not related, I was following even stupider train of thought) [20:31:35] Will probably have to look closer at the digton fun to understand how that works [20:31:52] and yays 2 more days to go to summer school [20:31:58] wooo! [20:32:03] I am coming only on monday afternoon [20:32:19] i see [20:32:23] but if there's a dinner or something, I'll probably go directly there [20:32:48] i'm already in latvia, staying with a friend and will drive up to riga on sunday [20:33:21] cool [20:33:28] see you soon! [20:33:50] ^^ [20:35:03] also this channel is usually more active during the summer schools [20:35:07] so that's going to be nice too! [20:37:50] *** Quits: venicecat (5059484b@gateway/web/freenode/ip.80.89.72.75) (Ping timeout: 260 seconds) [21:57:42] when does the summer school start? [22:04:25] vin-ivar: monday at 9 a.m. [22:04:39] oh cool [22:04:43] where are you now, daherb? [22:05:40] warsaw, i'm already getting closer to riga [22:19:18] nice