2026/04/08

Newest at the top

2026-04-08 11:36:56 +0000skiwould write `(f . g) x' or `f (g x)'
2026-04-08 11:36:31 +0000 <ski> at least write `f . g $ x', rather than `f $ g $ x'
2026-04-08 11:22:05 +0000synchromesh(~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) synchromesh
2026-04-08 11:20:38 +0000synchrom1(~john@2406:5a00:2412:2c00:915:5a48:7d6a:9a9f) (Read error: Connection reset by peer)
2026-04-08 11:17:45 +0000Teching(~Teching@206.57.199.232) (Quit: Client closed)
2026-04-08 11:16:39 +0000 <yahb2> [42]
2026-04-08 11:16:39 +0000 <gentauro> % concatMap foobar $ Just $ FooBar [42]
2026-04-08 11:16:36 +0000 <yahb2> []
2026-04-08 11:16:36 +0000 <gentauro> % concatMap foobar $ Just $ FooBar []
2026-04-08 11:16:28 +0000 <yahb2> []
2026-04-08 11:16:28 +0000 <gentauro> % concatMap foobar Nothing
2026-04-08 11:16:17 +0000 <yahb2> <no output>
2026-04-08 11:16:17 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }
2026-04-08 11:16:02 +0000 <yahb2> <interactive>:49:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:16:02 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing
2026-04-08 11:15:49 +0000 <yahb2> <interactive>:47:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:15:49 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing; concatMap foobar $ Just $ FooBar []
2026-04-08 11:14:41 +0000haritz(~hrtz@user/haritz) haritz
2026-04-08 11:14:41 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-04-08 11:14:41 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-04-08 11:13:03 +0000xff0x(~xff0x@ai112096.d.east.v6connect.net)
2026-04-08 11:10:30 +0000CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen
2026-04-08 11:08:27 +0000Teching(~Teching@206.57.199.232)
2026-04-08 11:07:28 +0000Pozyomka(~pyon@user/pyon) pyon
2026-04-08 10:51:47 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2026-04-08 10:46:29 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-08 10:27:17 +0000rscastilho1(~rscastilh@189.61.152.230) ()
2026-04-08 10:23:37 +0000rscastilho1(~rscastilh@189.61.152.230)
2026-04-08 10:14:33 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2026-04-08 10:11:33 +0000CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-08 10:05:11 +0000puke(~puke@user/puke) puke
2026-04-08 10:05:09 +0000CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen
2026-04-08 10:03:27 +0000CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-08 09:56:33 +0000__monty__(~toonn@user/toonn) toonn
2026-04-08 09:40:41 +0000fp1(~Thunderbi@staff237.kora-dyn.aalto.fi) fp
2026-04-08 09:34:50 +0000jle`(~jle`@2603:8001:3b00:11:178c:4665:41b7:a15e) (Ping timeout: 256 seconds)
2026-04-08 09:29:19 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-04-08 09:24:17 +0000anpad(~pandeyan@user/anpad) anpad
2026-04-08 09:22:45 +0000pandeyan(~pandeyan@192-184-251-84.fiber.dynamic.sonic.net) (Quit: ZNC 1.10.1 - https://znc.in)
2026-04-08 09:17:37 +0000Guest64(~Guest64@p5488236d.dip0.t-ipconnect.de)
2026-04-08 09:17:20 +0000tromp(~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f) (Read error: Connection reset by peer)
2026-04-08 09:13:19 +0000Dirk48(~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c)
2026-04-08 09:12:45 +0000traxex(traxex@user/traxex) traxex
2026-04-08 09:08:55 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-08 09:08:46 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-08 09:08:46 +0000arandombit(~arandombi@2a02:2455:8656:7100:99bb:9d74:9380:7c76) (Changing host)
2026-04-08 09:08:46 +0000arandombit(~arandombi@2a02:2455:8656:7100:99bb:9d74:9380:7c76)
2026-04-08 09:08:08 +0000tessier_(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 268 seconds)
2026-04-08 09:00:50 +0000ec(~ec@gateway/tor-sasl/ec) ec
2026-04-08 08:55:05 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds)