[07:59:51] *** Quits: Patternmaster (~georg@li1192-118.members.linode.com) (Ping timeout: 260 seconds)
[17:32:45] <esg> good afternoon!
[17:33:16] <esg> i'd like to have types depending on natural numbers
[17:33:40] <esg> and be able to linearise those as ordinary decimal numbers
[17:34:15] <esg> is there a way of doing that?
[17:34:31] <inariksit> I don't know
[17:34:45] <inariksit> ask gf-dev, is my advice :-D
[17:35:58] <esg> ok thanks!
[17:37:41] <esg> i'm always resluctant to post to gf-dev
[17:38:00] <esg> i feel like i should think it through better first.
[17:38:01] <inariksit> haha why? it's not like everyone's drowning in spam
[17:38:15] <esg> no, that is very true!
[17:38:24] <inariksit> but IRC is definitely a good rubber duck
[17:38:29] <inariksit> have you tried something yet on your own?
[17:38:31] <esg> yes!
[17:38:40] <inariksit> there is a type Int, and you can do dependent types
[17:38:53] <inariksit> so just try to make a demo and if it doesn't work, then ask gf-dev and show what didn't work
[17:38:54] <esg> that was an answer to IRC as rubber duck.
[17:38:59] <inariksit> yeah
[17:39:18] <esg> i am seeing Integer and Int in Predefined, but i cannot see a way of
[17:39:30] <esg> getting decimal representations though.
[17:40:02] <inariksit> is there anything useful in Numeral?
[17:40:56] <esg> nothing that i can see.
[17:42:28] <esg> i'll think more about it, and if can do it i'll come back here
[17:42:34] <esg> if not, i'll post on gf-dev
[17:43:11] <inariksit> 🦆
[17:43:51] <esg> ?: ?
[17:44:11] <inariksit> nothing, just thought that the duck emoji is pretty ^_^
[17:44:39] <esg> ah, i just see the question mark.
[17:44:46] <inariksit> aha right
[17:44:55] <inariksit> it was an emoji! :-D
[17:45:28] <esg> :)
[17:46:32] <esg> unrelated: translations are welcome for my gf retrocomputing at github.com/esg/castle if anyone has more time on their hands than they want
[17:49:37] <inariksit> ooh nice
[17:50:08] <inariksit> I don't have more time on my hands than I want but I'll fork it anyway ^^
[17:53:54] <esg> :-)
[17:55:44] <inariksit> it took less time than to wait for travis to check my latest arabic additions
[17:55:59] <inariksit> it's so nice when a resource grammar just works
[17:56:15] <inariksit> I can't say the same of the grammars I'm working with :-P
[17:56:36] <inariksit> well, I judge the working/not working by the fact that the sentences by the informant are different from what RGL produces
[17:57:47] <inariksit> ok now I'm off!
[17:57:53] <inariksit> good luck with the types
[19:00:31] <esg> thanks, just back from a seminar, i'll think more about the types