Newest at the top
2024-04-30 15:36:24 +0200 | euleritian | (~euleritia@dynamic-176-001-019-076.176.1.pool.telefonica.de) |
2024-04-30 15:35:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-04-30 15:30:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-30 15:30:30 +0200 | danza | (~francesco@151.57.187.43) (Read error: Connection reset by peer) |
2024-04-30 15:30:03 +0200 | danza_ | (~francesco@151.43.202.238) |
2024-04-30 15:29:43 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
2024-04-30 15:27:40 +0200 | AlexZenon | (~alzenon@94.233.240.47) |
2024-04-30 15:23:03 +0200 | AlexNoo | (~AlexNoo@94.233.240.47) |
2024-04-30 15:20:16 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
2024-04-30 15:11:25 +0200 | danza | (~francesco@151.57.187.43) |
2024-04-30 15:08:59 +0200 | Guest4005 | Rodney_ |
2024-04-30 15:08:15 +0200 | MinceR | Guest4005 |
2024-04-30 15:07:45 +0200 | Rodney_ | MinceR |
2024-04-30 15:06:24 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
2024-04-30 15:05:08 +0200 | danza | (~francesco@151.57.205.242) (Read error: Connection reset by peer) |
2024-04-30 15:02:33 +0200 | Pixi` | (~Pixi@user/pixi) |
2024-04-30 14:55:46 +0200 | acidjnk | (~acidjnk@p200300d6e714dc3178eb6b7df1157d0e.dip0.t-ipconnect.de) |
2024-04-30 14:55:06 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-30 14:54:54 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
2024-04-30 14:54:29 +0200 | AlexNoo | (~AlexNoo@94.233.240.47) (Quit: Leaving) |
2024-04-30 14:51:46 +0200 | mima | (~mmh@dhcp-138-246-3-52.dynamic.eduroam.mwn.de) |
2024-04-30 14:49:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-04-30 14:48:37 +0200 | yin | (~yin@user/zero) |
2024-04-30 14:47:11 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-30 14:47:00 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
2024-04-30 14:43:20 +0200 | <ncf> | heh, i guess that works |
2024-04-30 14:41:45 +0200 | <haskellbridge> | <maralorn> iadjoin tv1 tv2 = lensProduct (partsOf (tv1 . withIndex)) (partsOf (tv2 . withIndex)) . both . each . itraversed |
2024-04-30 14:41:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
2024-04-30 14:41:23 +0200 | <haskellbridge> | <maralorn> I think I got something. |
2024-04-30 14:35:05 +0200 | AlexNoo | (~AlexNoo@94.233.240.47) |
2024-04-30 14:31:19 +0200 | <ncf> | maybe you can start by defining an indexed lensProduct and then mimic the definition from Control.Lens.Unsound? |
2024-04-30 14:30:10 +0200 | <haskellbridge> | <maralorn> Axman6: IndexedTraversal' i s a -> IndexedTraversal' i s a -> IndexedTraversal' i s a? |
2024-04-30 14:26:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-30 14:26:32 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-30 14:25:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-04-30 14:24:58 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-04-30 14:24:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-30 14:23:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-04-30 14:22:38 +0200 | <Axman6> | what're the types you're looking for? |
2024-04-30 14:21:33 +0200 | danza | (~francesco@151.57.205.242) |
2024-04-30 14:19:35 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
2024-04-30 14:18:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-30 14:17:50 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 245 seconds) |
2024-04-30 14:17:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-04-30 14:16:41 +0200 | yin | (~yin@user/zero) |
2024-04-30 14:16:40 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 260 seconds) |
2024-04-30 14:12:33 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-30 14:09:57 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-30 14:09:23 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-04-30 14:08:10 +0200 | euleritian | (~euleritia@dynamic-176-006-191-139.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |