2025/01/25

2025-01-25 00:03:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 00:08:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-25 00:11:57 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-25 00:16:33 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
2025-01-25 00:17:57 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-25 00:18:29 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2025-01-25 00:18:51 +0100Midjak(~MarciZ@82.66.147.146) Midjak
2025-01-25 00:18:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 00:21:30 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-25 00:23:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-25 00:23:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-25 00:24:25 +0100 <Leary> hellwolf: https://hackage.haskell.org/package/ghc-bignum-1.3/docs/GHC-Num-Integer.html#v:integerToMutableByt…
2025-01-25 00:25:56 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-25 00:26:52 +0100g00gler(uid125351@id-125351.uxbridge.irccloud.com)
2025-01-25 00:29:53 +0100Square(~Square@user/square) (Ping timeout: 244 seconds)
2025-01-25 00:34:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 00:39:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-25 00:42:45 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 248 seconds)
2025-01-25 00:49:40 +0100 <hellwolf> does anyone know how to use TH to express a list of constraints in its quotation form: [d| instance ($(mapM (pure . TH.conT ''ABITypeable) xs)) => ABITypeable $(tpl) where ... |]
2025-01-25 00:49:57 +0100 <hellwolf> I know how to do it without the quotation form, but that's not so read.
2025-01-25 00:50:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-25 00:54:54 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-01-25 00:55:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-25 00:56:03 +0100dmwit(~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed)
2025-01-25 00:56:14 +0100 <c_wraith> There are lots of places you just can't splice into. That might be one of them.
2025-01-25 00:57:41 +0100 <c_wraith> though that mapM (pure . blah) is kind of funny.
2025-01-25 00:57:55 +0100 <c_wraith> that'd be like... pure (map blah ...)