Logs: liberachat/#haskell
| 2026-03-05 21:53:06 | <[exa]> | mesaoptimizer: yeah (for symbol operators only tho, would be kinda disrupting to have wordy operators like agda) |
| 2026-03-05 21:53:34 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 258 seconds) |
| 2026-03-05 21:55:29 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2026-03-05 21:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 21:55:55 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-03-05 22:04:54 | gehmehgeh | is now known as gmg |
| 2026-03-05 22:05:23 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-05 22:06:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 22:06:31 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-05 22:11:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:13:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 22:15:19 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-03-05 22:15:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-05 22:16:28 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 22:22:43 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-05 22:22:56 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-05 22:27:11 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 22:35:18 | <monochrom> | mixfix with words = COBOL >:) |
| 2026-03-05 22:35:27 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-05 22:38:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 22:40:50 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-05 22:43:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:46:49 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2026-03-05 22:51:54 | × | [exa] quits (~exa@user/exa/x-3587197) (Quit: Lost terminal) |
| 2026-03-05 22:54:11 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-03-05 22:54:14 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-05 22:56:50 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-05 23:00:04 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2026-03-05 23:00:46 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 23:01:05 | × | humasect quits (~humasect@192.249.132.90) (Remote host closed the connection) |
| 2026-03-05 23:03:28 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:03:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 23:03:46 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:03:55 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-03-05 23:08:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 23:09:07 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-05 23:09:28 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-03-05 23:09:57 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:10:15 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:11:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-05 23:13:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:14:29 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-03-05 23:18:08 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 23:18:30 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2026-03-05 23:18:36 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:18:52 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:23:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 23:26:08 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:26:35 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:29:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:39:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 23:44:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:48:35 | <Leary> | ski: `Fun` isn't injective, so GHC can get confused about what `s` is. The `forall s ->` is the nicest way to tell it. |
| 2026-03-05 23:49:41 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-05 23:51:34 | <ski> | mhm, okay |
| 2026-03-05 23:55:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 23:56:56 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 23:57:58 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-03-05 23:58:00 | → | poscat joins (~poscat@user/poscat) |
| 2026-03-05 23:58:19 | → | tt1231607019 joins (~tt1231@75.185.104.199) |
| 2026-03-05 23:58:58 | × | tt123160701 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 268 seconds) |
| 2026-03-05 23:58:58 | tt1231607019 | is now known as tt123160701 |
| 2026-03-06 00:00:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 00:09:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-06 00:11:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 00:13:38 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-03-06 00:16:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-06 00:19:21 | × | Tuplanolla quits (~Tuplanoll@88.114.89.88) (Quit: Leaving.) |
| 2026-03-06 00:24:04 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-03-06 00:27:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 00:28:19 | → | hoak joins (~hoak@27.65.22.223) |
| 2026-03-06 00:33:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 00:36:26 | × | hoak quits (~hoak@27.65.22.223) (Quit: Konversation terminated!) |
| 2026-03-06 00:38:48 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-06 00:45:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 00:46:39 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-06 00:48:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) (Ping timeout: 245 seconds) |
| 2026-03-06 00:50:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 01:00:39 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-06 01:05:17 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-06 01:07:11 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 252 seconds) |
| 2026-03-06 01:08:23 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-06 01:09:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-03-06 01:14:13 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-06 01:16:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 01:21:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-06 01:24:40 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2026-03-06 01:26:49 | → | yin joins (~zero@user/zero) |
| 2026-03-06 01:29:45 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-03-06 01:32:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-06 01:37:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-06 01:39:02 | × | rekahsoft quits (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-03-06 01:39:09 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-06 01:47:52 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-06 01:49:53 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 2026-03-06 01:50:43 | → | rainbyte_ joins (~rainbyte@186.22.19.221) |
| 2026-03-06 01:50:45 | × | rainbyte quits (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) (Ping timeout: 244 seconds) |
| 2026-03-06 01:52:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-06 02:03:39 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-06 02:10:23 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
All times are in UTC.