2025/01/27

Newest at the top

2025-01-27 07:04:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-27 07:04:12 +0100aaronv(~aaronv@user/aaronv) aaronv
2025-01-27 07:03:53 +0100aaronv(~aaronv@user/aaronv) (Remote host closed the connection)
2025-01-27 07:02:46 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-27 07:01:03 +0100jcarpenter2(~lol@96.78.87.197) (Read error: Connection reset by peer)
2025-01-27 06:56:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 06:54:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-27 06:50:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 06:45:09 +0100 <lambdabot> (forall a1. a1 -> a1) -> a -> a
2025-01-27 06:45:08 +0100 <probie> :t \(go :: forall a . a -> a) -> go go go
2025-01-27 06:41:04 +0100tabaqui1(~root@87.200.129.102) (Ping timeout: 260 seconds)
2025-01-27 06:41:00 +0100 <lambdabot> t ~ t -> t1 -> t2
2025-01-27 06:41:00 +0100 <lambdabot> • Occurs check: cannot construct the infinite type:
2025-01-27 06:41:00 +0100 <lambdabot> error:
2025-01-27 06:40:59 +0100 <monochrom> @type \go -> go go go
2025-01-27 06:40:50 +0100 <monochrom> \go -> go go o
2025-01-27 06:38:40 +0100EvanR_EvanR
2025-01-27 06:37:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-27 06:37:20 +0100fmira(~user@user/fmira) fmira
2025-01-27 06:36:58 +0100fmira(~user@user/fmira) (Remote host closed the connection)
2025-01-27 06:35:49 +0100fmira(~user@user/fmira) fmira
2025-01-27 06:34:30 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-27 06:32:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-01-27 06:31:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 06:27:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-27 06:21:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-27 06:20:23 +0100 <probie> If English isn't your first language, "go" as an exhortation wishing success probably looks very weird. It makes much more sense as the tail-recursive "loop" for a function
2025-01-27 06:16:22 +0100JimL(~quassel@89.162.16.26) JimL
2025-01-27 06:15:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 06:12:49 +0100JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-27 06:12:37 +0100EvanR(~EvanR@user/evanr) (Read error: Connection reset by peer)
2025-01-27 06:12:05 +0100EvanR_(~EvanR@user/evanr) EvanR
2025-01-27 06:04:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-27 06:00:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 05:57:45 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-27 05:56:28 +0100aaronv(~aaronv@user/aaronv) aaronv
2025-01-27 05:56:03 +0100aaronv(~aaronv@user/aaronv) (Remote host closed the connection)
2025-01-27 05:50:08 +0100michalz(~michalz@185.246.207.221)
2025-01-27 05:48:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-27 05:46:45 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-27 05:46:08 +0100penteract(~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 272 seconds)
2025-01-27 05:43:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-27 05:42:59 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-01-27 05:42:10 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-27 05:39:46 +0100ColinRobinson(~juan@user/JuanDaugherty) (Exeunt DS Producers)
2025-01-27 05:37:58 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-27 05:36:14 +0100 <Tikosh> no worries
2025-01-27 05:35:45 +0100 <haskellbridge> <sm> I'm not very good at chat 🤣
2025-01-27 05:35:39 +0100 <Tikosh> no i get it.
2025-01-27 05:35:29 +0100 <Tikosh> oh! lol! thank you!