2025/01/08

Newest at the top

2025-01-08 23:01:19 +0100 <lambdabot> (1,0)
2025-01-08 23:01:19 +0100 <EvanR> > (swap . fmap (+1) . swap) (0,0)
2025-01-08 23:00:53 +0100 <lambdabot> (1,0)
2025-01-08 23:00:52 +0100 <EvanR> > swap (fmap (+1) (swap (0,0)))
2025-01-08 23:00:11 +0100ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2025-01-08 22:59:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2025-01-08 22:58:07 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:58:05 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:57:32 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:57:31 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:56:57 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:56:56 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:56:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-08 22:56:36 +0100 <tomsmeding> hc: there's also 'second', which does... the obvious other thing
2025-01-08 22:54:52 +0100 <lambdabot> "no"
2025-01-08 22:54:51 +0100 <mauke> > fst $ do ("no", "harm")
2025-01-08 22:54:24 +0100 <hc> EvanR: thanks also, I prefer first over <$> in this case :) I vaguely remember there used to be some arrow functions
2025-01-08 22:53:50 +0100 <hc> glguy: Thanks, I used first, works
2025-01-08 22:52:33 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:52:32 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:52:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-08 22:51:59 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:51:55 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-08 22:51:49 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:51:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:51:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:50:40 +0100weary-traveler(~user@user/user363627) (Ping timeout: 252 seconds)
2025-01-08 22:48:59 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:48:50 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:48:18 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:48:09 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:47:34 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:47:24 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:46:33 +0100user363627(~user@user/user363627) user363627
2025-01-08 22:46:08 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:45:58 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:45:25 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:45:16 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:44:43 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:44:42 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:43:55 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:43:46 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:43:37 +0100 <lambdabot> (1,0)
2025-01-08 22:43:35 +0100 <mauke> > over _1 (+1) (0,0)
2025-01-08 22:43:12 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:43:03 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-08 22:42:50 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-08 22:42:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-08 22:42:28 +0100 <hololeap> well, it looks like discourse is at least foss (https://github.com/discourse/discourse)
2025-01-08 22:41:39 +0100michalz(~michalz@185.246.207.221) (Remote host closed the connection)