[00:00:31] *** Joins: e3928a3bc (b3d2d528@gateway/web/freenode/ip.179.210.213.40) [00:00:45] [telegram] I mean, I'm actually using PGF2 [00:00:49] [telegram] or are both necessary? [00:01:06] I don't know, just try and see what happens? [00:01:56] [telegram] yeah, I should do that 😁 [00:03:06] [telegram] first time using PGF2, I'm excited :D [00:03:13] ^_^ [00:03:15] good luck! [00:03:37] [telegram] inariksit: thanks! [00:04:09] [telegram] I wonder if I can use IRC commands from telegram [00:04:10] [telegram] this way I can test if ConcreteBot without signing in on IRC too [00:04:12] [telegram] /help [00:04:38] [telegram] (well this one shouldn't have worked) [00:05:04] [telegram] /me test stuff [00:05:38] if you made a way to tell ConcreteBot not to output [telegram] before your lines [00:05:48] I'd guess [00:05:56] but no idea :-P [00:06:20] [telegram] yeah, are all commands required to be on the beginning of the line? [00:06:33] /me demonstrates that yes [00:06:39] there was one extra space before [00:06:53] * inariksit demonstrates how it works properly [00:08:15] [telegram] 😭 [00:08:32] haha those smilies look fancy [00:08:34] here on irc [00:09:01] [telegram] the only way I know of doing that would prevent us from knowing who's sending which message ... (re @ConcreteBot:[irc] if you made a way to tell ConcreteBot not to output [telegram] before your lines) [00:09:16] yeah sure that's not such a good strategy [00:09:23] [telegram] yeah, unicode rocks 🚀 [00:11:38] [telegram] That was too fancy 😛: [00:12:51] [telegram] /me [00:13:04] gah sorry I clicked something wrong [00:19:00] [telegram] [00:19:11] [telegram] not too fancy to me, it seems 😜 [00:19:23] [telegram] (I sent an image there) [00:19:48] [telegram] Yeah I see ^^ [00:20:04] [telegram] maybe we should setup the mediaserver https://github.com/42wim/matterbridge/wiki/Mediaserver-setup-%5Badvanced%5D [00:20:49] if you find it useful; I haven't felt the need to share pictures before, those ones were just silliness [00:21:02] but if you want to do it, sure [00:24:23] [telegram] nah, it's definitely pure procrastination! [00:26:00] [telegram] the tutorial is pretty good: http://www.grammaticalframework.org/doc/runtime-api.html#haskell [00:26:01] [telegram] it seems to have everything I need! [00:26:08] nice! [00:26:46] *** Quits: proteusguy (~proteusgu@183.88.66.75) (Ping timeout: 256 seconds) [00:27:47] *** Joins: proteusguy (~proteusgu@180.183.10.114) [00:34:58] I'm going to sleep now [00:35:01] good luck with PGF2 [00:35:26] [telegram] apparently I must change it to import PGF2 or some things won't work (if you're using PGF2, of course) (re @odanoburu:hello! is it a problem if I comment the import PGF line on the haskell module output by `gf -make -output-format=hask [00:35:26] [telegram] ell`) [00:35:39] [telegram] inariksit: ok, good night! [01:16:31] [telegram] how can I parse BIND and SOFT_BIND from PGF2? [01:21:42] [telegram] actually, it works [01:21:43] [telegram] the thing is that I'm using them on runtime variables... [01:21:54] [telegram] I wished this worked :/ [03:48:02] *** Parts: e3928a3bc (b3d2d528@gateway/web/freenode/ip.179.210.213.40) () [03:57:58] *** Quits: proteusguy (~proteusgu@180.183.10.114) (Read error: Connection reset by peer) [03:58:29] *** Joins: proteusguy (~proteusgu@180.183.11.172) [05:48:19] *** Quits: ConcreteBot (~ConcreteB@179.210.213.40) (Remote host closed the connection) [06:22:34] *** Quits: proteus-guy (~proteus-g@cm-134-196-84-142.revip18.asianet.co.th) (Ping timeout: 264 seconds) [06:35:23] *** Joins: proteus-guy (~proteus-g@cm-134-196-84-142.revip18.asianet.co.th) [11:32:37] *** Joins: Sapin (~david@c83-248-109-54.bredband.comhem.se) [11:42:13] *** Quits: Sapin (~david@c83-248-109-54.bredband.comhem.se) (Quit: Leaving.) [12:13:54] *** Joins: Sapin (~david@c83-248-109-54.bredband.comhem.se) [14:48:49] *** Quits: Sapin (~david@c83-248-109-54.bredband.comhem.se) (Quit: Leaving.) [18:32:56] *** Joins: Sapin (~david@c83-248-109-54.bredband.comhem.se) [23:04:01] *** Quits: Sapin (~david@c83-248-109-54.bredband.comhem.se) (Quit: Leaving.)