Logs: liberachat/#haskell
| 2025-12-20 02:58:17 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 02:58:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 03:02:28 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-20 03:02:34 | × | acidjnk quits (~acidjnk@p200300d6e71719757debcd23ed4a65e1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-12-20 03:05:09 | → | deptype joins (~deptype@2406:b400:3a:2dd5:aace:ec7b:7bb3:d2d8) |
| 2025-12-20 03:09:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 03:14:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 03:21:17 | <EvanR> | you might "fix" tail that way but not head |
| 2025-12-20 03:21:37 | <EvanR> | the condition which guarantees head works also makes tail work |
| 2025-12-20 03:21:38 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-12-20 03:23:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-20 03:25:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 03:29:35 | <chromoblob> | also, it's so that you can choose between `tail` and `drop 1`, latter is terse enough |
| 2025-12-20 03:30:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 03:30:52 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 244 seconds) |
| 2025-12-20 03:32:58 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-20 03:36:55 | × | td_ quits (~td@i53870930.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-20 03:39:00 | → | td_ joins (~td@i5387092A.versanet.de) |
| 2025-12-20 03:39:55 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-20 03:41:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 03:43:48 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 03:45:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 03:48:07 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-20 03:48:15 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-20 03:49:13 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-20 03:52:36 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-20 03:54:47 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 03:57:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 04:00:29 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-20 04:00:48 | trickard_ | is now known as trickard |
| 2025-12-20 04:01:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 04:02:27 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-20 04:05:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 04:05:55 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-20 04:10:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 04:17:46 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 255 seconds) |
| 2025-12-20 04:19:22 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-20 04:19:44 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-12-20 04:21:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 04:26:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-20 04:36:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 04:41:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 04:45:16 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 04:45:30 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 04:52:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 04:57:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-20 05:07:04 | → | remmie joins (ianremsen@tilde.team) |
| 2025-12-20 05:08:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 05:09:55 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 264 seconds) |
| 2025-12-20 05:11:39 | → | tomku joins (~tomku@user/tomku) |
| 2025-12-20 05:13:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 05:18:45 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-20 05:18:55 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2025-12-20 05:24:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 05:31:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 05:36:40 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-20 05:41:08 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-20 05:41:38 | × | karenw quits (~karenw@user/karenw) (Client Quit) |
| 2025-12-20 05:42:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 05:42:28 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-20 05:45:47 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 05:46:02 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 05:47:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-20 05:56:29 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: Leaving) |
| 2025-12-20 05:57:11 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-20 05:57:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 06:00:31 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-12-20 06:02:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 06:02:57 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-20 06:06:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 06:10:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 06:20:36 | trickard_ | is now known as trickard |
| 2025-12-20 06:22:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 06:22:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-20 06:26:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 06:29:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2025-12-20 06:37:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 06:42:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 06:43:24 | × | Googulator84 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 06:43:34 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-12-20 06:43:44 | → | Googulator84 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 06:44:03 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 06:46:55 | trickard_ | is now known as trickard |
| 2025-12-20 06:51:16 | → | Googulator98 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-20 06:51:24 | × | Googulator84 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 06:53:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 06:58:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:07:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 07:11:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:14:35 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-20 07:18:54 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-12-20 07:19:11 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-12-20 07:23:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 07:27:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:29:25 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 07:33:55 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-20 07:38:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 07:43:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 07:45:13 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 2025-12-20 07:45:32 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.