2024/09/08

Newest at the top

2024-09-08 02:26:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 02:26:44 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-09-08 02:24:29 +0200 <lambdaRule> what's the purpose of i?
2024-09-08 02:24:15 +0200 <lambdaRule> vector n = sequence [ arbitrary | i <- [1..n] ]
2024-09-08 02:24:15 +0200 <lambdaRule> vector :: Arbitrary a => Int -> Gen [a]
2024-09-08 02:24:14 +0200 <lambdaRule> arbitrary :: Arbitrary a => Gen a
2024-09-08 02:24:14 +0200 <lambdaRule> how to understand this list comprehension?
2024-09-08 02:22:18 +0200lambdaRule(~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net)
2024-09-08 02:21:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-08 02:21:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-09-08 02:15:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-08 02:11:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 02:05:52 +0200acidjnk_new(~acidjnk@p200300d6e72cfb079527f265a4c52d61.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-09-08 02:03:34 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-09-08 02:02:06 +0200alexherbo2(~alexherbo@2a02-8440-3114-792e-ddff-112f-809e-f52d.rev.sfr.net) (Remote host closed the connection)
2024-09-08 02:00:16 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-09-08 02:00:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-08 01:55:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 01:47:47 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-08 01:44:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-08 01:39:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 01:36:07 +0200xal(~xal@mx1.xal.systems)
2024-09-08 01:35:28 +0200xal(~xal@mx1.xal.systems) (Quit: bye)
2024-09-08 01:29:03 +0200Inst(~Inst@user/Inst)
2024-09-08 01:28:43 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-09-08 01:28:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-08 01:27:14 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 244 seconds)
2024-09-08 01:23:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 01:21:36 +0200weary-traveler(~user@user/user363627)
2024-09-08 01:13:25 +0200Alleria(~Alleria@user/alleria) (Ping timeout: 248 seconds)
2024-09-08 01:12:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-08 01:07:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 01:05:11 +0200Alleria(~Alleria@user/alleria)
2024-09-08 01:03:58 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-09-08 01:00:16 +0200vhs(~vhs@82-209-143-233.cust.bredband2.com) (Quit: Leaving)
2024-09-08 01:00:16 +0200vhsconnect(~vhs@82-209-143-233.cust.bredband2.com) (Quit: Leaving)
2024-09-08 00:59:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-09-08 00:57:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-08 00:53:59 +0200vhsconnect(~vhs@82-209-143-233.cust.bredband2.com)
2024-09-08 00:53:51 +0200vhs(~vhs@82-209-143-233.cust.bredband2.com)
2024-09-08 00:52:57 +0200spew(~spew@201.141.99.170)
2024-09-08 00:52:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-08 00:50:01 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-09-08 00:39:56 +0200gentauro(~gentauro@user/gentauro)
2024-09-08 00:39:32 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-09-08 00:31:46 +0200hgolden(~hgolden@146.70.173.165)
2024-09-08 00:29:35 +0200neuroevolutus(~neuroevol@37.19.200.135) (Quit: Client closed)
2024-09-08 00:29:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-08 00:25:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-08 00:23:55 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)