Logs: liberachat/#haskell
| 2025-12-21 00:14:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 00:16:56 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:17:10 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 00:29:22 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:29:35 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:30:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 00:35:00 | trickard_ | is now known as trickard |
| 2025-12-21 00:35:37 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 00:35:48 | → | Googulator joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 00:36:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:39:00 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:41:45 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:48:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 00:53:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 00:59:21 | × | Cyclic30 quits (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 01:03:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 01:08:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:10:42 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 01:10:49 | → | Googulator joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:23:55 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 2025-12-21 01:24:35 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-21 01:24:52 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-12-21 01:25:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 01:25:46 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-21 01:25:47 | omidmash1 | is now known as omidmash |
| 2025-12-21 01:29:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 01:36:33 | → | Googulator51 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:40:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 01:40:45 | → | Googulator95 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 01:41:09 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-21 01:41:15 | × | Googulator51 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-21 01:45:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:56:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 02:00:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 02:02:12 | → | qqe joins (~qqq@185.54.20.98) |
| 2025-12-21 02:02:31 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 02:03:39 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-21 02:06:59 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 02:10:45 | → | Googulator63 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:10:45 | × | Googulator95 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:12:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 02:19:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 02:25:32 | → | Cyclic27 joins (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) |
| 2025-12-21 02:28:06 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-21 02:29:48 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 02:37:11 | × | qqe quits (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-21 02:40:38 | × | Googulator63 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:40:39 | → | Googulator98 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:44:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-21 02:45:04 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-21 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-12-21 03:05:17 | → | annamalai joins (~annamalai@2409:4042:d13:652a::9eca:d20b) |
| 2025-12-21 03:05:34 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 2025-12-21 03:07:50 | × | acidjnk quits (~acidjnk@p200300d6e7171943cd580b85e09c6604.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-12-21 03:08:32 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-21 03:08:49 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-21 03:21:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 03:25:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 03:27:06 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Remote host closed the connection) |
| 2025-12-21 03:27:28 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 03:28:35 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-21 03:35:38 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-12-21 03:35:57 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-12-21 03:36:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 03:37:02 | × | td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 256 seconds) |
| 2025-12-21 03:38:44 | → | td_ joins (~td@i5387093A.versanet.de) |
| 2025-12-21 03:40:40 | × | Googulator98 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 03:40:47 | → | Googulator98 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 03:40:54 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 03:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 03:41:48 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-21 03:43:27 | <hololeap> | is there a way to get the default `compare` for a data type without deriving Ord? |
| 2025-12-21 03:44:15 | <hololeap> | I want to compare one inner value first, then fall back to the default `compare` |
| 2025-12-21 03:44:45 | <hololeap> | (the data type has a lot of constructors so it will be tedious to write the whole thing by hand) |
| 2025-12-21 03:46:21 | <hololeap> | transformers-compat only has Ord1 |
| 2025-12-21 03:51:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 03:57:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 04:07:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 04:07:44 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 04:10:41 | → | Googulator7 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 04:10:48 | × | Googulator98 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 04:12:09 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 04:12:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 04:14:35 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-21 04:15:20 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-21 04:17:15 | trickard_ | is now known as trickard |
| 2025-12-21 04:23:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 04:28:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 04:38:18 | → | synchromesh joins (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) |
| 2025-12-21 04:38:25 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-21 04:39:09 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-21 04:39:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 04:43:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 04:55:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 04:57:07 | → | AlexNoo_ joins (~AlexNoo@178.34.160.91) |
| 2025-12-21 04:59:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 05:00:19 | × | AlexNoo quits (~AlexNoo@5.139.232.96) (Ping timeout: 246 seconds) |
| 2025-12-21 05:00:37 | × | AlexZenon quits (~alzenon@5.139.232.96) (Ping timeout: 264 seconds) |
| 2025-12-21 05:01:01 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
All times are in UTC.