[01:00:22] wmacmil: like this? https://gist.github.com/inariksit/4f039fbf6b18244a36ba1cbcc6bb1147 [01:03:31] *** Quits: fl0_id (~fl0_id@2a01:4f8:171:4de::40:2) (*.net *.split) [01:05:19] *** Quits: Flammie (~flammie@ircer.flammie.name) (*.net *.split) [01:05:19] *** Quits: daherb (~daherb@dslb-178-005-077-037.178.005.pools.vodafone-ip.de) (*.net *.split) [01:05:19] *** Quits: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (*.net *.split) [01:05:19] *** Quits: LambdaDuck (~anka@ksit.fixme.fi) (*.net *.split) [01:05:19] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (*.net *.split) [01:05:19] *** Quits: ski (~ski@ed-3358-10.studat.chalmers.se) (*.net *.split) [01:05:19] *** Quits: Patternmaster (~georg@li1192-118.members.linode.com) (*.net *.split) [01:05:19] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split) [01:09:34] *** Joins: fl0_id (~fl0_id@2a01:4f8:171:4de::40:2) [01:09:34] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [01:09:34] *** Joins: Flammie (~flammie@ircer.flammie.name) [01:09:34] *** Joins: inariksit (~inari@ksit.fixme.fi) [01:09:34] *** Joins: daherb (~daherb@dslb-178-005-077-037.178.005.pools.vodafone-ip.de) [01:09:34] *** Joins: ski (~ski@ed-3358-10.studat.chalmers.se) [01:09:34] *** Joins: LambdaDuck (~anka@ksit.fixme.fi) [01:09:34] *** Joins: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) [01:09:34] *** Joins: Patternmaster (~georg@li1192-118.members.linode.com) [01:42:36] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds) [04:10:24] *** Joins: drbean (~drbean@TC210-63-209-154.static.apol.com.tw) [09:30:13] *** Quits: proteusguy (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) (Ping timeout: 264 seconds) [09:42:32] *** Joins: proteusguy (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) [10:10:56] *** Quits: drbean (~drbean@TC210-63-209-154.static.apol.com.tw) (Ping timeout: 240 seconds) [10:44:17] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [11:00:46] hi wmacmil! did you see this https://gist.github.com/inariksit/4f039fbf6b18244a36ba1cbcc6bb1147 [11:03:58] @inari yeah i did [11:04:03] i was just playing around [11:04:38] i guess my specific question is, there any way to internalize this as a builtin GF category [11:05:08] like Q2S : Rat -> S [11:05:09] ; [11:05:17] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Remote host closed the connection) [11:05:42] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [11:05:55] or would that require some advanced hackery that is outside of the scope of anything simple [11:05:59] if you wanted it as a builtin, you can fork GF :-D [11:06:18] if you're thinking like, cat Rat ; and the lincat of Rat would be two Ints, that won't work either [11:06:59] the builtin literal cats are pretty restricted, they can just be arguments to funs, but not as a part of any lincat [11:08:44] ok, thanks [11:15:42] but yeah, I can fill you in more in a few min [11:17:24] yeah! [11:17:57] I'm ready anytime, just give me a link when you are [12:18:10] https://github.com/kristiank/gf-radio [13:12:46] *** Joins: drbean (~drbean@TC210-63-209-49.static.apol.com.tw) [14:45:14] *** Quits: drbean (~drbean@TC210-63-209-49.static.apol.com.tw) (Ping timeout: 256 seconds) [19:08:22] do you know where in the gf-core String and Int are defined [19:09:08] I've been asking myself, is it even possible to write a grammar just to describe Z/3Z = {0 , 3, 6, 9, 12...} [19:09:45] i'm thinking it may be possible with semantic actions but i'm just trying to figure that out [19:30:01] wmacmil: On the top of Predef.gf it says that they are defined in src/GF/Grammar/AppPredefined.hs [19:30:14] didn't check if that's still true [19:30:18] tack [19:41:00] sorry, but I'm not able to find that other than via google search [19:41:16] i was able to see gf-rgl/src/prelude/Predef.gf [19:42:48] but is ../src/GF/Grammar/AppPredefined.hs in the rgl or contrib [19:45:20] wmacmil@w:~/agdaStdLib/gf$ ls [19:45:21] gf-core gf-rgl [19:45:21] wmacmil@w:~/agdaStdLib/gf$ find . -name AppPredefined.hs [19:45:27] nothing shows up [19:57:11] it seems to be in src/compiler/GF/Compile/Compute/Predef.hs now [19:57:23] thanks [19:59:48] hows your thesis comin, @daherb [20:05:06] wmacmil: i finished my phd last september :) [20:05:21] i had no idea [20:05:26] are you still in gothenburg [20:05:41] no, i moved back to munich [20:06:30] if you are interested in the thesis, it is online: https://gupea.ub.gu.se/handle/2077/65453 [20:06:55] coo [20:06:58] whatre you workin on now [20:12:20] currently enjoying the pleasures of unemployment [21:17:23] at least you arent unemployed in america