Newest at the top
| 2025-10-24 18:28:13 +0200 | kuribas | (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-10-24 18:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 18:27:11 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 18:26:56 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 18:24:16 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 18:16:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-24 18:15:22 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-10-24 18:03:24 +0200 | trickard_ | trickard |
| 2025-10-24 18:02:31 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 18:00:39 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 17:54:45 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 17:53:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-10-24 17:52:36 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 17:50:02 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 17:48:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) synchromesh |
| 2025-10-24 17:47:12 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-24 17:45:38 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-24 17:43:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-24 17:43:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 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) |