[04:17:13] *** Joins: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) [05:56:36] *** Quits: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 252 seconds) [06:10:10] A comment in Constructors.gf, about mkNumeral: 'Some numerals can also be extracted from strings at compile time.' and '-- thirty-five (given by "35"; range 1-999)' [08:44:12] *** Quits: proteusguy (~proteusgu@14.207.44.136) (Ping timeout: 250 seconds) [10:08:06] drbean: yeah, I think there was some talk about the 1-999 limit here on this channel some time ago [11:36:15] *** Joins: proteusguy (~proteusgu@58.137.143.226) [11:43:49] hello proteusguy! [11:58:37] *** Quits: proteusguy (~proteusgu@58.137.143.226) (Read error: Connection reset by peer) [12:53:35] *** Joins: proteusguy (~proteusgu@14.207.44.136) [13:07:34] I feel like I'm going round in circles.http://www.grammaticalframework.org/irc/freenode_#gf_20160907.log [13:08:20] haha right it was you! [13:08:38] http://www.grammaticalframework.org/irc/freenode_%23gf_20160907.log [13:17:48] *** Quits: proteusguy (~proteusgu@14.207.44.136) (Ping timeout: 260 seconds) [13:49:31] *** Joins: proteusguy (~proteusgu@180.183.140.191) [19:33:21] *** Quits: jackhill (~jackhill@bog.hcoop.net) (*.net *.split) [19:33:21] *** Quits: ski (~ski@remote11.chalmers.se) (*.net *.split) [19:33:22] *** Quits: drbean (~drbean@124.219.82.42) (*.net *.split) [19:33:23] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-rpbsdwndhtxowyuc) (*.net *.split) [19:33:23] *** Quits: esg (~emil@esg.xen.prgmr.com) (*.net *.split) [19:33:28] *** Joins: esg_ (~emil@esg.xen.prgmr.com) [19:33:32] *** Joins: ski_ (~ski@remote11.chalmers.se) [19:33:34] *** Joins: jackhill (~jackhill@bog.hcoop.net) [19:34:42] *** Joins: drbean (~drbean@124.219.82.42) [19:43:39] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-prtaxyuobrblgpia) [21:24:26] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) [22:13:32] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Quit: Leaving)