[05:58:25] I presented “Machine Translation and Type Theory” today, at our functional programming reading group :) [05:59:01] The most important one among my slides was: https://preview.ibb.co/nctp3w/Screen_Shot_2017_09_29_at_9_53_23_PM.png [06:04:02] Also, I have a question if anyone is around [06:04:16] I just started working on the RelativeTur module [06:07:53] The documentation example for FunRP is “all the cities in which” [06:08:28] In Turkish this would not be a constituent [06:10:13] For example if I wanted to say “all the cities in which the food is delicious”, I would say something like “(in which the food is delicious) (all the cities)” [06:10:30] So “all the cities in which” is not a thing by itself [06:11:23] Would FunRP be not implemented at all in this case? [07:44:01] *** Quits: stoopkid__ (uid137696@gateway/web/irccloud.com/x-lqahvvhnzmvhievd) (Quit: Connection closed for inactivity) [07:54:00] ayberkt yeah i have the same problem in basque [07:54:21] yay for the presentation! [07:55:46] i have some crap implementation of FunRP and hopefully if someone thought of using it for basque, either they would read my comment or test it and see its crap and do something else [07:56:38] i didnt really look at it carefully, but could the tyoe for RP be discontinuous and al the funs that use RPs add the two fields [07:57:53] sorry typos, on mobile [08:36:42] *** Joins: JuanDaugherty (~juan@98.4.124.117) [08:58:56] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [09:07:39] *** Joins: proteus-guy (~proteusgu@183.88.69.154) [10:04:32] *** Joins: stoopkid__ (uid137696@gateway/web/irccloud.com/x-wywjepzaqgplpzet) [11:41:37] *** Quits: proteus-guy (~proteusgu@183.88.69.154) (Ping timeout: 248 seconds) [12:11:51] *** Quits: stoopkid__ (uid137696@gateway/web/irccloud.com/x-wywjepzaqgplpzet) (Quit: Connection closed for inactivity) [18:11:04] *** Joins: stoopkid__ (uid137696@gateway/web/irccloud.com/x-xpdogtfjonpxmwkm) [19:49:25] *** Joins: proteusguy (~proteus-g@2405:9800:bc10:1ca:f8f0:1f80:43f4:830c)