Newest at the top
| 2025-10-24 17:24:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-24 17:21:54 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 17:21:49 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 17:21:35 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 17:18:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-24 17:04:59 +0200 | img | (~img@user/img) img |
| 2025-10-24 17:04:10 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-24 17:03:41 +0200 | img_ | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-24 16:59:47 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 16:58:54 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 16:53:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-24 16:53:39 +0200 | acidjnk | (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-24 16:50:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-24 16:49:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-24 16:35:20 +0200 | bggd | (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) (Quit: std::move) |
| 2025-10-24 16:23:48 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 260 seconds) |
| 2025-10-24 16:22:30 +0200 | <__monty__> | Hmm, you're right. |
| 2025-10-24 16:18:57 +0200 | <tomsmeding> | there's probably more recent material |
| 2025-10-24 16:18:49 +0200 | <tomsmeding> | ("Theorems for free!" by Wadler) |
| 2025-10-24 16:18:27 +0200 | <tomsmeding> | in any case, they should look up free theorems, but they left already |
| 2025-10-24 16:17:52 +0200 | <tomsmeding> | __monty__: would it not? If m is bottom, wouldn't all three expressions evaluate to bottom? |
| 2025-10-24 16:17:35 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-24 16:08:36 +0200 | paul424 | (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) (Quit: Leaving) |
| 2025-10-24 16:05:22 +0200 | <__monty__> | paul424: Without further constraints on the problem that's not provable. `m` could be bottom in Haskell, fulfilling the signature but not commuting with map. |
| 2025-10-24 16:01:40 +0200 | AntiRembane | Rembane |
| 2025-10-24 15:58:14 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 15:57:45 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 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) |