Newest at the top
| 2025-10-24 15:55:45 +0200 | <paul424> | I have function of type : m :: forall a b. (a -> b) -> [a] -> [b] . How to prove from that : m f xs = map f (m id xs) = m id (map f xs) |
| 2025-10-24 15:54:29 +0200 | paul424 | (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) |
| 2025-10-24 15:50:45 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 15:50:44 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 15:45:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-24 15:40:12 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-24 15:39:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-24 15:26:13 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 15:25:59 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 15:23:24 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2025-10-24 15:21:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-24 15:15:43 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 15:15:43 +0200 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 15:13:18 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-10-24 15:10:17 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-24 15:01:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-24 14:58:06 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-24 14:57:52 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-24 14:56:53 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-24 14:55:28 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-24 14:49:05 +0200 | Guest26 | (~Guest26@88.97.199.38) (Client Quit) |
| 2025-10-24 14:48:33 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-24 14:48:22 +0200 | Guest26 | (~Guest26@88.97.199.38) |
| 2025-10-24 14:39:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-24 14:38:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-24 14:36:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-24 14:35:35 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 14:35:35 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 14:31:25 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-10-24 14:29:21 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 2025-10-24 14:23:40 +0200 | Jackneill | (~Jackneill@94-21-95-227.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2025-10-24 14:22:06 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 14:21:09 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) |
| 2025-10-24 14:19:19 +0200 | kubrat | (~kubrat@149.62.205.13) (Quit: Client closed) |
| 2025-10-24 14:17:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-10-24 14:15:46 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 14:15:43 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 14:14:57 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-24 14:12:39 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 14:07:37 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 14:07:23 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 14:05:56 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-24 13:53:26 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-24 13:51:41 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 13:43:56 +0200 | acidjnk | (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) acidjnk |
| 2025-10-24 13:38:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-24 13:38:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-10-24 13:35:45 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 13:35:40 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 13:35:37 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) Inline |