Newest at the top
2025-05-09 17:04:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-05-09 16:55:28 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-05-09 16:41:03 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
2025-05-09 16:40:47 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) (Remote host closed the connection) |
2025-05-09 16:36:11 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-05-09 16:30:17 +0200 | <hellwolf> | :) yes |
2025-05-09 16:19:29 +0200 | <ncf> | should be mapmapmapMM, assuming i know the reference |
2025-05-09 16:04:06 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |
2025-05-09 16:03:54 +0200 | <hellwolf> | mapM mapM mapmapmapM (anyone knows the refrence?) |
2025-05-09 16:01:17 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
2025-05-09 15:54:40 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
2025-05-09 15:54:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-05-09 15:53:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-09 15:50:47 +0200 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
2025-05-09 15:50:46 +0200 | <__monty__> | :t fmap `fmap` fmap `fmap` fmap |
2025-05-09 15:48:19 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-05-09 15:48:05 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) ubert |
2025-05-09 15:47:51 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) (Remote host closed the connection) |
2025-05-09 15:47:48 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-05-09 15:44:51 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada |
2025-05-09 15:44:12 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
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 -> |