Newest at the top
2025-03-19 19:06:01 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-19 19:01:26 +0100 | malte | (~malte@mal.tc) malte |
2025-03-19 18:53:18 +0100 | Guest68 | (~Guest68@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Quit: Client closed) |
2025-03-19 18:53:17 +0100 | praneyak | (~praneyak@user/praneyak) (Quit: Client closed) |
2025-03-19 18:52:36 +0100 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
2025-03-19 18:51:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-03-19 18:46:14 +0100 | praneyak | (~praneyak@user/praneyak) praneyak |
2025-03-19 18:46:14 +0100 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host) |
2025-03-19 18:45:14 +0100 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) |
2025-03-19 18:41:53 +0100 | praneyak | (~praneyak@user/praneyak) (Quit: Client closed) |
2025-03-19 18:40:33 +0100 | <EvanR> | if there's a sublambda, it'll have the same b as the top level lambda? |
2025-03-19 18:40:12 +0100 | <EvanR> | the main data type in GHC.Core is data Expr b = ... where it says b is the type of binder. Which it uses directly in the lambda and case constructors. So the Expr is tagged with a type in the host language? Then reviewing the whole type, it seems odd there is no way to change the b deeper in the expression tree |
2025-03-19 18:39:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-19 18:37:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-03-19 18:35:48 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
2025-03-19 18:35:28 +0100 | Googulator3 | (~Googulato@80-95-93-233.pool.digikabel.hu) (Quit: Client closed) |
2025-03-19 18:34:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 18:34:40 +0100 | praneyak | (~praneyak@user/praneyak) praneyak |
2025-03-19 18:34:40 +0100 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host) |
2025-03-19 18:30:42 +0100 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) |
2025-03-19 18:29:19 +0100 | poscat | (~poscat@user/poscat) poscat |
2025-03-19 18:26:18 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-19 18:25:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-19 18:25:44 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
2025-03-19 18:24:29 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
2025-03-19 18:18:49 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-03-19 18:16:16 +0100 | Digit | (~user@user/digit) Digit |
2025-03-19 18:15:34 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
2025-03-19 18:14:57 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-19 18:14:40 +0100 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-03-19 18:12:56 +0100 | alp | (~alp@2001:861:8ca0:4940:77c4:3560:6515:b78c) |
2025-03-19 18:10:32 +0100 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
2025-03-19 18:10:04 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2025-03-19 18:09:21 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-03-19 18:07:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-03-19 18:05:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-03-19 18:05:40 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-03-19 18:05:18 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-03-19 18:03:47 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
2025-03-19 18:03:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-19 18:00:43 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-03-19 17:58:55 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
2025-03-19 17:52:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-19 17:52:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-19 17:48:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-19 17:45:18 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
2025-03-19 17:33:32 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
2025-03-19 17:26:07 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-03-19 17:25:28 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
2025-03-19 17:24:34 +0100 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 260 seconds) |