[00:15:46] * craigo [craigo!~craigo@144.136.206.168] has quit (Ping timeout: 256 seconds). [01:02:56] * ColonelJ [ColonelJ!~ColonelJ@unaffiliated/colonelj] has quit (Quit: leaving). [01:04:40] * bitmapper [bitmapper!~bitmapper@142.162.167.202] has quit (Ping timeout: 246 seconds). [01:56:02] * [1]MrMobius [[1]MrMobius!~MrMobius@208.58.206.154] has joined the channel. [01:56:22] * MrMobius [MrMobius!~MrMobius@208.58.206.154] has quit (Ping timeout: 265 seconds). [01:56:22] * [1]MrMobius is now known as MrMobius [05:53:34] erg: thanks! [07:08:43] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has joined the channel. [07:54:39] * craigo [craigo!~craigo@144.136.206.168] has joined the channel. [08:15:52] * MDead [MDead!~MDude@74.5.140.76] has joined the channel. [08:18:34] * MDude [MDude!~MDude@74.5.140.76] has quit (Ping timeout: 256 seconds). [08:18:39] * MDead is now known as MDude [09:05:42] * synthmeat [synthmeat!~synthmeat@unaffiliated/synthmeat] has quit (Quit: WeeChat 2.8). [09:08:14] * synthmeat [synthmeat!~synthmeat@unaffiliated/synthmeat] has joined the channel. [09:09:37] * synthmeat [synthmeat!~synthmeat@unaffiliated/synthmeat] has quit (Client Quit). [09:12:53] * synthmeat [synthmeat!~synthmeat@unaffiliated/synthmeat] has joined the channel. [11:11:09] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has quit (Ping timeout: 258 seconds). [11:41:05] * ColonelJ [ColonelJ!~ColonelJ@unaffiliated/colonelj] has joined the channel. [13:01:52] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has joined the channel. [15:26:39] * lisbeths [lisbeths!~user@2601:601:8300:81a0:2858:a178:65ea:1b86] has joined the channel. [15:26:47] hey how does a postfix lambda calculus work? [15:39:04] I don't honestly fully understand your question. [15:39:26] Lambda calculus is a mathematical concept. So, "the same as in anything else." [15:56:05] * lisbeths [lisbeths!~user@2601:601:8300:81a0:2858:a178:65ea:1b86] has quit (Remote host closed the connection). [16:39:24] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has quit (Ping timeout: 256 seconds). [16:54:43] lisbeths: A concatenative langage can be reduced to LC at parse time if the arities of all words are fixed. [16:55:30] Not LC, but the composition rule here might help explain it: https://drive.google.com/file/d/0B6W_9Wbvba0oSlpTM2R6R0o3Qlk/view?usp=sharing [16:57:54] It's a generalization of function composition to handle multiple outputs. [17:08:13] * lonjil [lonjil!~quassel@45.76.33.14] has quit (Quit: No Ping reply in 210 seconds.). [17:10:00] * lonjil [lonjil!~quassel@45.76.33.14] has joined the channel. [17:31:30] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has joined the channel. [21:05:04] * ephe_meral [ephe_meral!~amnesia@ip5f5bf7d1.dynamic.kabel-deutschland.de] has quit (Ping timeout: 272 seconds). [21:30:34] * tgunr [tgunr!~davec@dsl-dhcp-conrtxxahre-72-26-18-39.consolidated.net] has joined the channel. [22:56:03] * MrMobius [MrMobius!~MrMobius@208.58.206.154] has quit (Read error: Connection reset by peer).