Newest at the top
2025-04-30 17:10:50 +0200 | AlexNoo_ | AlexNoo |
2025-04-30 17:10:38 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.180) |
2025-04-30 16:59:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-04-30 16:47:23 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-04-30 16:46:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-30 16:46:08 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
2025-04-30 16:45:53 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-30 16:45:07 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-04-30 16:45:01 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
2025-04-30 16:42:52 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-30 16:42:30 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-04-30 16:42:03 +0200 | typedfern_ | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
2025-04-30 16:41:13 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-04-30 16:36:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-30 16:36:20 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-30 16:34:59 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
2025-04-30 16:34:37 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-30 16:34:16 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-30 16:28:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-30 16:27:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-30 16:27:18 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-30 16:23:11 +0200 | akegalj | (~akegalj@144-188.dsl.iskon.hr) |
2025-04-30 16:20:39 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) |
2025-04-30 16:20:22 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Remote host closed the connection) |
2025-04-30 16:07:04 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2025-04-30 16:04:27 +0200 | euphores1 | (~SASL_euph@37.214.58.222) |
2025-04-30 15:55:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-30 15:55:26 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-04-30 15:53:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-30 15:49:50 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-04-30 15:46:45 +0200 | <haskellbridge> | <Liamzee> (or hook it into the f) |
2025-04-30 15:46:31 +0200 | <haskellbridge> | <Liamzee> (make the z default in foldr, ummm, do non-primitive recursion) |
2025-04-30 15:46:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-30 15:45:47 +0200 | <haskellbridge> | <Liamzee> (and yes, that includes non-primitive recursion) |
2025-04-30 15:45:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-30 15:44:58 +0200 | <haskellbridge> | <Liamzee> everything is foldr with an accumulator and a builder pattern :3 |
2025-04-30 15:41:37 +0200 | <int-e> | everything is wrong in almost all contexts ;-) |
2025-04-30 15:41:14 +0200 | <lambdabot> | b -> Either a b |
2025-04-30 15:41:13 +0200 | <int-e> | :t Right |
2025-04-30 15:38:59 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) |
2025-04-30 15:38:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-04-30 15:36:05 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 244 seconds) |
2025-04-30 15:35:08 +0200 | <haskellbridge> | <hellwolf> some say everything is "for_", who is right |
2025-04-30 15:34:19 +0200 | <int-e> | But maybe LogicT is why this is asked for Traversable. |
2025-04-30 15:33:34 +0200 | <int-e> | I feel that this is more of "every list function can be defined in terms of foldr" territory. |
2025-04-30 15:31:41 +0200 | <[exa]> | Foldable is the new LogicT? |
2025-04-30 15:22:22 +0200 | AlexZenon | (~alzenon@94.233.241.180) |
2025-04-30 15:19:31 +0200 | akegalj | (~akegalj@78-1-137-15.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
2025-04-30 15:15:43 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
2025-04-30 15:15:00 +0200 | AlexNoo | (~AlexNoo@178.34.151.238) (Ping timeout: 252 seconds) |