2025/03/19

Newest at the top

2025-03-19 19:06:01 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-19 19:01:26 +0100malte(~malte@mal.tc) malte
2025-03-19 18:53:18 +0100Guest68(~Guest68@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Quit: Client closed)
2025-03-19 18:53:17 +0100praneyak(~praneyak@user/praneyak) (Quit: Client closed)
2025-03-19 18:52:36 +0100euleritian(~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de)
2025-03-19 18:51:33 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-19 18:46:14 +0100praneyak(~praneyak@user/praneyak) praneyak
2025-03-19 18:46:14 +0100praneyak(~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host)
2025-03-19 18:45:14 +0100praneyak(~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2)
2025-03-19 18:41:53 +0100praneyak(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-19 18:37:50 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-03-19 18:35:48 +0100Googulator3(~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu)
2025-03-19 18:35:28 +0100Googulator3(~Googulato@80-95-93-233.pool.digikabel.hu) (Quit: Client closed)
2025-03-19 18:34:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 18:34:40 +0100praneyak(~praneyak@user/praneyak) praneyak
2025-03-19 18:34:40 +0100praneyak(~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host)
2025-03-19 18:30:42 +0100praneyak(~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2)
2025-03-19 18:29:19 +0100poscat(~poscat@user/poscat) poscat
2025-03-19 18:26:18 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-19 18:25:55 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-19 18:25:44 +0100LainExperiments(~LainExper@user/LainExperiments) (Quit: Client closed)
2025-03-19 18:24:29 +0100poscat(~poscat@user/poscat) (Ping timeout: 244 seconds)
2025-03-19 18:18:49 +0100acidjnk(~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-03-19 18:16:16 +0100Digit(~user@user/digit) Digit
2025-03-19 18:15:34 +0100ft(~ft@p508db463.dip0.t-ipconnect.de) ft
2025-03-19 18:14:57 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-19 18:14:40 +0100euleritian(~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-03-19 18:12:56 +0100alp(~alp@2001:861:8ca0:4940:77c4:3560:6515:b78c)
2025-03-19 18:10:32 +0100euleritian(~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de)
2025-03-19 18:10:04 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-03-19 18:09:21 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-03-19 18:07:29 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-03-19 18:05:49 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-19 18:05:40 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-19 18:05:18 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-03-19 18:03:47 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-03-19 18:03:28 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-19 18:00:43 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-03-19 17:58:55 +0100comerijn(~merijn@77.242.116.146) merijn
2025-03-19 17:52:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-19 17:52:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-19 17:48:21 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 17:45:18 +0100LainExperiments(~LainExper@user/LainExperiments) LainExperiments
2025-03-19 17:33:32 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-19 17:26:07 +0100dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-03-19 17:25:28 +0100dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2025-03-19 17:24:34 +0100kh0d(~kh0d@212.200.247.168) (Ping timeout: 260 seconds)