[00:00:12] * tgunr [tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has joined the channel.
[00:01:17] * Sgeo_ [Sgeo_!~Sgeo@ool-18b98627.dyn.optonline.net] has quit (Ping timeout: 246 seconds).
[00:01:41] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has joined the channel.
[00:07:42] * Sgeo_ [Sgeo_!~Sgeo@ool-18b98627.dyn.optonline.net] has joined the channel.
[00:07:56] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has quit (Ping timeout: 246 seconds).
[00:26:13] * jamtho_ [jamtho_!~jamtho@host86-138-206-22.range86-138.btcentralplus.com] has joined the channel.
[01:10:31] * MDude [MDude!~MDude@pa-67-234-113-76.dhcp.embarqhsd.net] has joined the channel.
[01:18:27] * jamtho_ [jamtho_!~jamtho@host86-138-206-22.range86-138.btcentralplus.com] has quit (Ping timeout: 248 seconds).
[01:23:30] * tgunr [tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has quit (Ping timeout: 264 seconds).
[02:56:35] * tgunr [tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has joined the channel.
[02:57:05] * _tgunr [_tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has joined the channel.
[03:07:18] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Ping timeout: 264 seconds).
[04:05:23] * tgunr [tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has quit (Ping timeout: 248 seconds).
[04:05:55] * _tgunr [_tgunr!~tgunr@cpe-76-172-40-72.hawaii.res.rr.com] has quit (Ping timeout: 248 seconds).
[04:27:41] * proteusguy [proteusguy!~proteus-g@49.228.116.10] has quit (Remote host closed the connection).
[04:31:48] * tgunr [tgunr!~tgunr@172.56.30.48] has joined the channel.
[04:34:12] * _tgunr [_tgunr!~tgunr@172.56.30.48] has joined the channel.
[04:44:50] * Sgeo_ [Sgeo_!~Sgeo@ool-18b98627.dyn.optonline.net] has quit (K-Lined).
[04:44:57] * tgunr [tgunr!~tgunr@172.56.30.48] has quit (K-Lined).
[04:44:59] * MDude [MDude!~MDude@pa-67-234-113-76.dhcp.embarqhsd.net] has quit (K-Lined).
[04:45:12] * carvite [carvite!~carvite@unaffiliated/stryx/x-3871776] has quit (K-Lined).
[04:45:13] * _tgunr [_tgunr!~tgunr@172.56.30.48] has quit (K-Lined).
[04:45:13] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (K-Lined).
[04:45:29] * amuck [amuck!~amuck@152.243.185.35.bc.googleusercontent.com] has quit (K-Lined).
[04:45:31] * dustinm` [dustinm`!~dustinm@68.ip-149-56-14.net] has quit (K-Lined).
[04:45:31] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has quit (K-Lined).
[04:45:32] * diginet [diginet!~diginet@107.170.146.29] has quit (K-Lined).
[04:45:32] * mtp [mtp!pi@unaffiliated/mtp] has quit (K-Lined).
[04:45:33] * shmibs [shmibs!~shmibs@shmibbles.me] has quit (K-Lined).
[04:45:33] * suppi [suppi!~suppi@unaffiliated/suppi] has quit (K-Lined).
[04:45:34] * hackerfoo [hackerfoo!~hackerfoo@48.73.154.104.bc.googleusercontent.com] has quit (K-Lined).
[04:45:34] * jlewis [jlewis!~jlewis@unaffiliated/jordanlewis] has quit (K-Lined).
[04:45:34] * otoburb [otoburb!~otoburb@unaffiliated/otoburb] has quit (K-Lined).
[04:45:34] * m_hackerfoo [m_hackerfoo!~matrixirc@48.73.154.104.bc.googleusercontent.com] has quit (K-Lined).
[04:45:34] * doublec [doublec!~doublec@unaffiliated/doublec] has quit (K-Lined).
[04:45:34] * mollerse [mollerse!~mollerse@188.226.247.139] has quit (K-Lined).
[04:45:35] * abeaumont [abeaumont!~abeaumont@163.172.180.248] has quit (K-Lined).
[04:45:35] * ephe_meral [ephe_meral!~ephe_mera@innoki.de] has quit (K-Lined).
[04:45:43] * shachaf [shachaf!~shachaf@unaffiliated/shachaf] has quit (K-Lined).
[04:49:19] * mtp [mtp!pi@unaffiliated/mtp] has joined the channel.
[04:49:45] * _tgunr [_tgunr!~tgunr@2607:fb90:21bc:bcca:29fd:f920:de60:4e1b] has joined the channel.
[04:49:47] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has joined the channel.
[04:50:20] * shmibs [shmibs!~shmibs@shmibbles.me] has joined the channel.
[04:50:25] * amuck [amuck!~amuck@152.243.185.35.bc.googleusercontent.com] has joined the channel.
[04:51:08] * tgunr [tgunr!~tgunr@2607:fb90:21bc:bcca:29fd:f920:de60:4e1b] has joined the channel.
[04:51:13] * ephe_meral [ephe_meral!~ephe_mera@innoki.de] has joined the channel.
[04:51:28] * otoburb [otoburb!~otoburb@unaffiliated/otoburb] has joined the channel.
[04:51:45] * hackerfoo [hackerfoo!~hackerfoo@48.73.154.104.bc.googleusercontent.com] has joined the channel.
[04:51:55] * diginet [diginet!~diginet@107.170.146.29] has joined the channel.
[04:53:25] * dustinm` [dustinm`!~dustinm@68.ip-149-56-14.net] has joined the channel.
[04:54:29] * shachaf [shachaf!~shachaf@unaffiliated/shachaf] has joined the channel.
[05:03:57] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has joined the channel.
[05:15:48] * tgunr_ [tgunr_!~tgunr@cpe-76-173-68-181.hawaii.res.rr.com] has joined the channel.
[05:15:56] * tgunr [tgunr!~tgunr@2607:fb90:21bc:bcca:29fd:f920:de60:4e1b] has quit (Ping timeout: 246 seconds).
[05:16:04] * __tgunr [__tgunr!~tgunr@cpe-76-173-68-181.hawaii.res.rr.com] has joined the channel.
[05:16:17] * _tgunr [_tgunr!~tgunr@2607:fb90:21bc:bcca:29fd:f920:de60:4e1b] has quit (Ping timeout: 246 seconds).
[06:17:31] * mollerse [mollerse!~mollerse@188.226.247.139] has joined the channel.
[06:25:09] * proteusguy [proteusguy!~proteus-g@180.183.116.133] has joined the channel.
[07:29:43] * zgrep [zgrep!~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep] has quit (Ping timeout: 246 seconds).
[07:31:27] * zgrep [zgrep!~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep] has joined the channel.
[07:51:32] * abeaumont [abeaumont!~abeaumont@163.172.180.248] has joined the channel.
[08:45:11] * doublec [doublec!~doublec@unaffiliated/doublec] has joined the channel.
[09:13:30] * jamtho_ [jamtho_!~jamtho@host86-138-206-22.range86-138.btcentralplus.com] has joined the channel.
[10:18:05] * jamtho_ [jamtho_!~jamtho@host86-138-206-22.range86-138.btcentralplus.com] has quit (Ping timeout: 240 seconds).
[10:46:16] * m_hackerfoo [m_hackerfoo!~matrixirc@104.154.73.48] has joined the channel.
[10:54:04] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[10:55:02] * proteusguy [proteusguy!~proteus-g@180.183.116.133] has quit (Remote host closed the connection).
[11:30:22] * merry [merry!~mage@unaffiliated/merry] has joined the channel.
[11:31:28] * merry_ [merry_!~mage@unaffiliated/merry] has joined the channel.
[11:31:28] * merry_ [merry_!~mage@unaffiliated/merry] has quit (Client Quit).
[12:13:50] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[12:14:00] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[12:27:37] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:f98d:8c0e:5c14:a42] has quit (Remote host closed the connection).
[12:27:37] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[12:27:47] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[13:21:20] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[13:21:47] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[13:40:20] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Ping timeout: 248 seconds).
[13:55:11] * roachmd [roachmd!~roachmd@64.124.76.250] has joined the channel.
[13:56:07] * roachmd [roachmd!~roachmd@64.124.76.250] has quit (Remote host closed the connection).
[13:56:20] * roachmd [roachmd!~roachmd@64.124.76.250] has joined the channel.
[15:01:15] * merry [merry!~mage@unaffiliated/merry] has quit (Quit: Lost terminal).
[15:14:12] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has quit (Ping timeout: 240 seconds).
[15:17:15] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has joined the channel.
[15:38:35] * jlewis [jlewis!~jlewis@unaffiliated/jordanlewis] has joined the channel.
[16:29:44] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel.
[16:40:24] * merry [merry!~mage@unaffiliated/merry] has joined the channel.
[16:48:49] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[16:57:55] * tgunr_ [tgunr_!~tgunr@cpe-76-173-68-181.hawaii.res.rr.com] has quit (Quit: Textual IRC Client: www.textualapp.com).
[16:58:06] * __tgunr [__tgunr!~tgunr@cpe-76-173-68-181.hawaii.res.rr.com] has quit (Quit: Textual IRC Client: www.textualapp.com).
[16:58:31] * tgunr [tgunr!~tgunr@cpe-76-173-68-181.hawaii.res.rr.com] has joined the channel.
[17:11:02] <hackerfoo> evincar (and possibly others): You might be interested in the typing rules for my language, which pretty much describe the semantics as well: https://drive.google.com/open?id=0B6W_9Wbvba0oSlpTM2R6R0o3Qlk
[17:21:58] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[17:22:07] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[18:15:42] * xkapastel [xkapastel!uid17782@gateway/web/irccloud.com/x-fccbrizjnyjxryos] has joined the channel.
[18:39:41] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[18:39:50] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[18:49:26] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[18:49:38] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[19:26:25] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[19:26:35] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[19:31:25] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[19:31:35] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[19:38:17] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has quit (Read error: Connection reset by peer).
[19:38:26] * jtimon [jtimon!~quassel@143.29.134.37.dynamic.jazztel.es] has joined the channel.
[20:12:12] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has quit (Ping timeout: 240 seconds).
[20:20:35] * roachmd [roachmd!~roachmd@64.124.76.250] has quit (Remote host closed the connection).
[20:23:03] * roachmd [roachmd!~roachmd@64.124.76.250] has joined the channel.
[20:23:47] * roachmd [roachmd!~roachmd@64.124.76.250] has quit (Read error: No route to host).
[20:49:20] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Ping timeout: 240 seconds).
[20:51:22] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel.
[22:01:56] * klltkr [klltkr!~klltkr@unaffiliated/klltkr] has joined the channel.
[22:13:33] * flogbot [flogbot!~flogbot@2001:4800:7814:0:2804:b05a:ff04:4ba7] has quit (Ping timeout: 246 seconds).
[22:13:42] * flogbot [flogbot!~flogbot@2001:4800:7814:0:2804:b05a:ff04:4ba7] has joined the channel.
[22:13:42] :moon.freenode.net 353 flogbot = #concatenative :flogbot klltkr FreeFull jtimon xkapastel tgunr merry jlewis m_hackerfoo doublec abeaumont zgrep mollerse shachaf dustinm` diginet hackerfoo otoburb ephe_meral amuck shmibs jeaye mtp groovy2shoes earl rgrinberg jeremyheiler defanor rotty lonjil PiDelport cstrahan erg strmpnk
[22:13:42] :moon.freenode.net 366 flogbot #concatenative :End of /NAMES list.
[22:31:30] * carvite [carvite!~carvite@unaffiliated/stryx/x-3871776] has joined the channel.
[22:46:11] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:101:ca1b:746:9969] has joined the channel.
[22:50:37] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:101:ca1b:746:9969] has quit (Ping timeout: 246 seconds).
[23:21:38] * roachmd [roachmd!~roachmd@2601:cc:4100:244e:101:ca1b:746:9969] has joined the channel.
[23:57:30] * Sgeo [Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net] has joined the channel.