Newest at the top
| 2025-05-09 15:38:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 15:38:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-05-09 15:30:59 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-09 15:30:42 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 15:27:09 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 276 seconds) |
| 2025-05-09 15:26:57 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) |
| 2025-05-09 15:26:12 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-09 15:23:48 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-05-09 15:20:19 +0200 | AlexZenon | (~alzenon@5.139.233.9) |
| 2025-05-09 15:17:38 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) |
| 2025-05-09 15:17:04 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-09 15:16:40 +0200 | AlexZenon | (~alzenon@5.139.233.9) (Ping timeout: 276 seconds) |
| 2025-05-09 15:06:48 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-09 15:01:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-09 14:59:15 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 14:53:43 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-09 14:50:36 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 14:49:43 +0200 | <tomsmeding> | yin: ^ |
| 2025-05-09 14:49:39 +0200 | <lambdabot> | fmap = (.) |
| 2025-05-09 14:49:39 +0200 | <tomsmeding> | @src (->) fmap |
| 2025-05-09 14:49:30 +0200 | <JuanDaugherty> | is blather the plural of blither? |
| 2025-05-09 14:47:18 +0200 | <tomsmeding> | meh |
| 2025-05-09 14:47:16 +0200 | <lambdabot> | Source not found. stty: unknown mode: doofus |
| 2025-05-09 14:47:16 +0200 | <tomsmeding> | @src fmap (->) |
| 2025-05-09 14:47:14 +0200 | <lambdabot> | Source not found. There are some things that I just don't know. |
| 2025-05-09 14:47:14 +0200 | <tomsmeding> | @src fmap -> |
| 2025-05-09 14:47:08 +0200 | <lambdabot> | Source not found. My pet ferret can type better than you! |
| 2025-05-09 14:47:08 +0200 | <tomsmeding> | @src Functor -> |
| 2025-05-09 14:47:04 +0200 | <tomsmeding> | :src Functor -> |
| 2025-05-09 14:39:24 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se |
| 2025-05-09 14:39:23 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 14:39:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-09 14:35:26 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 14:33:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-09 14:19:16 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-09 14:18:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-09 14:18:21 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-05-09 14:16:23 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) |
| 2025-05-09 14:16:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-09 14:16:13 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-09 14:10:32 +0200 | <yin> | (obvious might be a strong word) |
| 2025-05-09 14:08:49 +0200 | <yin> | anyways, it becomes obvious those are the same when you know that `instance Functor ((->) r) where fmap = (.)` |
| 2025-05-09 14:07:09 +0200 | <yin> | i'm sure i failed in more ways than just one :) |
| 2025-05-09 14:06:17 +0200 | <yin> | :src fmap@((->) r) |
| 2025-05-09 14:06:01 +0200 | <yin> | i'm going to fail miserably trying to evoke lambdabot |
| 2025-05-09 14:05:20 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-09 14:04:55 +0200 | <yin> | well that's simple |
| 2025-05-09 13:57:17 +0200 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
| 2025-05-09 13:57:17 +0200 | <tomsmeding> | :t fmap . fmap . fmap |
| 2025-05-09 13:57:06 +0200 | <tomsmeding> | there |