Newest at the top
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) |
2024-10-10 10:45:04 +0200 | chele | (~chele@user/chele) chele |
2024-10-10 10:42:59 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:42:46 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-10 10:35:43 +0200 | Guest78 | (~Guest78@c-98-232-218-193.hsd1.or.comcast.net) (Quit: Client closed) |
2024-10-10 10:35:16 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
2024-10-10 10:28:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-10 10:28:19 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-10 10:28:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2024-10-10 10:27:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-10 10:27:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-10 10:27:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
2024-10-10 10:27:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
2024-10-10 10:27:29 +0200 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
2024-10-10 10:22:20 +0200 | danza | (~danza@user/danza) danza |
2024-10-10 10:22:05 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |