Newest at the top
2025-03-19 19:19:27 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) acidjnk |
2025-03-19 19:16:44 +0100 | Digitteknohippie | Digit |
2025-03-19 19:14:34 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-19 19:12:53 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-19 19:11:20 +0100 | Guest7584 | (~user@153.144.208.46.dyn.plus.net) (Remote host closed the connection) |
2025-03-19 19:11:07 +0100 | Digitteknohippie | (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
2025-03-19 19:10:36 +0100 | Guest7584 | (~user@153.144.208.46.dyn.plus.net) |
2025-03-19 19:09:59 +0100 | Digit | Digitteknohippie |
2025-03-19 19:09:42 +0100 | Digitteknohippie | Digit |
2025-03-19 19:09:42 +0100 | Digit | (~user@user/digit) (Killed (erbium.libera.chat (Nickname regained by services))) |
2025-03-19 19:09:37 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-03-19 19:09:18 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
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) |