Newest at the top
| 2025-11-02 12:45:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 12:44:54 +0100 | <Nachtgespenst> | Or import the Boolean version qualified and use B.<* |
| 2025-11-02 12:42:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-02 12:40:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:39:55 +0100 | <mreh> | I can import Prelude hiding ((<*)) |
| 2025-11-02 12:39:24 +0100 | <mreh> | frustrating |
| 2025-11-02 12:39:21 +0100 | <mreh> | why did Boolean choose to use (<*)? |
| 2025-11-02 12:33:55 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 264 seconds) |
| 2025-11-02 12:32:24 +0100 | nerdychip_ | (~nerdychip@212.129.75.228) |
| 2025-11-02 12:29:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-02 12:24:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:15:02 +0100 | trickard_ | trickard |
| 2025-11-02 12:13:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 12:08:50 +0100 | Guest34 | (~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) (Quit: Client closed) |
| 2025-11-02 12:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 12:05:43 +0100 | acidjnk | (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) acidjnk |
| 2025-11-02 12:01:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-02 11:56:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 11:54:26 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-11-02 11:54:19 +0100 | dolio | (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
| 2025-11-02 11:51:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:50:28 +0100 | Guest34 | (~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) |
| 2025-11-02 11:49:56 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-02 11:49:46 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-11-02 11:47:37 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-11-02 11:41:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 11:36:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-02 11:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:25:45 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 11:25:43 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 11:25:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-02 11:21:17 +0100 | yin | (~zero@user/zero) zero |
| 2025-11-02 11:20:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:11:01 +0100 | yin | (~zero@user/zero) (Ping timeout: 255 seconds) |
| 2025-11-02 11:09:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 11:09:29 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 11:06:20 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-02 11:05:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 11:01:30 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 11:01:06 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-02 10:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-02 10:58:52 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-02 10:58:36 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-02 10:55:52 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-02 10:53:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-02 10:52:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) |
| 2025-11-02 10:51:08 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-11-02 10:50:50 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-02 10:50:50 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-02 10:50:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |