[00:07:43] *** Joins: juanfran (5f113b71@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.59.113) [00:09:02] *** Quits: juanfran (5f113b71@gateway/web/cgi-irc/kiwiirc.com/ip.95.17.59.113) (Client Quit) [00:19:50] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [00:20:08] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [02:44:56] What are the advantages of using the haskell bindings to the C runtime, rather than the old haskell runtime? [02:44:57] Is it mature? I would have to compile gf with the flag, -fc-runtime, and use the PGF2 module. [02:58:51] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Ping timeout: 276 seconds) [03:00:11] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 240 seconds) [03:29:04] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [03:36:17] *** Joins: inariksit (~inari@ksit.fixme.fi) [03:37:44] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [03:50:05] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Ping timeout: 244 seconds) [03:51:42] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 246 seconds) [04:01:22] *** Joins: drbean_ (~drbean@124.219.82.42) [04:05:09] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 276 seconds) [05:16:31] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [05:31:30] *** Joins: inariksit (~inari@ksit.fixme.fi) [05:36:05] The C runtime is not for C programmers who want to use gf in their programs? [06:17:39] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Ping timeout: 246 seconds) [06:22:39] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 264 seconds) [07:11:43] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [08:52:45] *** Joins: inariksit (~inari@ksit.fixme.fi) [08:54:53] drbean_: as far as I understand, krasimir is actively developing the C runtime and not the haskell one [08:55:01] and it has some different features [08:55:21] but I don't know what's the reason for the original haskell runtime to be the default [08:56:54] *** Joins: Putti (~Putti@unaffiliated/putti) [08:57:14] *** Quits: Putti (~Putti@unaffiliated/putti) (Client Quit) [09:49:29] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [09:54:03] *** Joins: spectei (~fran@ilazki.thinkgeek.co.uk) [09:58:14] *** Joins: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:15:51] is there a nice SVG logo of GF ? [10:15:55] or vector graphics ... pdf etc. [10:16:20] yes [10:16:32] http://www.grammaticalframework.org/doc/Logos/gf1.svg [10:16:36] :D [11:20:13] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [12:06:28] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [12:45:56] my problem with the haskell binding to the c-runtime is the missing documentation, or maybe i just haven't found it yet [12:46:14] daherb: no it's missing [12:46:16] but i don't want to read the source code to understand how to use it [12:46:39] true, that's probably a big reason why it's not the main one [12:46:49] most functions have the same behaviour than the haskell runtime [12:46:57] some differences in what arguments it takes and in which order [12:47:15] that's actually annoying, you can't just change "import PGF" to "import PGF2" and use the same code [13:05:31] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [13:11:36] *** Joins: juanfran (c191e609@2604:180:1::7408:b67a) [13:11:50] *** Quits: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [13:12:51] *** Quits: juanfran (c191e609@2604:180:1::7408:b67a) (Client Quit) [13:32:11] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Ping timeout: 240 seconds) [13:32:31] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 240 seconds) [14:54:21] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [14:54:53] *** Joins: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [16:10:09] *** Quits: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [16:24:09] *** Joins: inariksit (~inari@ksit.fixme.fi) [17:07:08] *** Quits: spectei (~fran@ilazki.thinkgeek.co.uk) (Ping timeout: 272 seconds) [18:03:14] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [18:58:27] *** Joins: spectei (~fran@unaffiliated/spectie) [19:21:22] *** Joins: Putti (~Putti@unaffiliated/putti) [21:09:08] Hello [21:09:23] I am talking about exercises on Food grammar. Number 3 exactly [21:09:23] how do I make prefixing optional in a sentence? [21:21:55] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [21:22:05] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:30:01] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [21:30:13] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:36:45] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [21:36:54] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:39:40] dbamzie: in the book? [21:40:58] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Client Quit) [21:41:08] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:41:18] dbamzie: can you tell me which page? [21:42:27] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Client Quit) [21:42:43] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:43:56] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Client Quit) [21:44:05] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:52:58] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [21:53:08] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:54:46] dbamzie: which page is the example on? [22:19:32] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [22:58:06] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 276 seconds) [23:26:18] *** Quits: Putti (~Putti@unaffiliated/putti) (Quit: Leaving)