Newest at the top
| 2024-10-10 12:19:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) (Ping timeout: 272 seconds) |
| 2024-10-10 12:17:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2024-10-10 12:16:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-10 12:15:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-10 12:09:42 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-10 12:05:41 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-10 12:03:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2024-10-10 12:02:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
| 2024-10-10 11:58:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 11:56:49 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-10 11:54:25 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-10 11:53:08 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-10 11:51:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-10-10 11:50:23 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Quit: ash3en) |
| 2024-10-10 11:33:55 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
| 2024-10-10 11:31:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-10-10 11:28:49 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 11:27:24 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) |
| 2024-10-10 11:27:07 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Ping timeout: 264 seconds) |
| 2024-10-10 11:25:36 +0200 | famubu | (~julinuser@14.139.174.50) (Quit: leaving) |
| 2024-10-10 11:23:20 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2024-10-10 11:22:22 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 11:21:48 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-10-10 11:14:59 +0200 | <probie> | I was sure I'd seen it somewhere as a newtype |
| 2024-10-10 11:14:42 +0200 | <yahb2> | [False,False,False,False,False,True,False,False,False,True] |
| 2024-10-10 11:14:42 +0200 | <probie> | % map ((getPredicate . foldMap Predicate) [(> 5), even, (/= 8)]) [1..10] |
| 2024-10-10 11:14:19 +0200 | <yahb2> | <no output> |
| 2024-10-10 11:14:19 +0200 | <probie> | % import Data.Functor.Contravariant |
| 2024-10-10 11:08:28 +0200 | <lambdabot> | [False,False,False,False,False,True,False,False,False,True] |
| 2024-10-10 11:08:27 +0200 | <probie> | > map (((getAll .) . foldMap (All .)) [(> 5), even, (/= 8)]) [1..10] -- much less convincing |
| 2024-10-10 11:04:45 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-10 11:03:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-10 11:03:04 +0200 | <probie> | derp |
| 2024-10-10 11:02:39 +0200 | <lambdabot> | • Possible cause: ‘getAll |
| 2024-10-10 11:02:39 +0200 | <lambdabot> | • Couldn't match expected type ‘a3 -> b’ with actual type ‘Bool’ |
| 2024-10-10 11:02:38 +0200 | <lambdabot> | error: |
| 2024-10-10 11:02:37 +0200 | <probie> | > map ((getAll . foldMap All) [(> 5), even, (/= 8)]) [1..10] |
| 2024-10-10 11:02:26 +0200 | danza | (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2024-10-10 11:01:26 +0200 | <lambdabot> | Foldable t => t Bool -> Bool |
| 2024-10-10 11:01:25 +0200 | <probie> | :t getAll . foldMap All |
| 2024-10-10 11:00:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 11:00:33 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 10:57:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-10-10 10:57:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-10-10 10:56:16 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:56:03 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:53:32 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 10:53:24 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-10-10 10:49:38 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:49:23 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |