Logs: liberachat/#haskell
| 2025-10-24 12:07:37 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 12:12:39 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 12:14:57 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-24 12:15:43 | → | Googulator20 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 12:15:46 | × | Googulator47 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 12:17:06 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2025-10-24 12:19:19 | × | kubrat quits (~kubrat@149.62.205.13) (Quit: Client closed) |
| 2025-10-24 12:21:09 | → | Jackneill_ joins (~Jackneill@94-21-95-10.pool.digikabel.hu) |
| 2025-10-24 12:22:06 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-24 12:23:40 | × | Jackneill quits (~Jackneill@94-21-95-227.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2025-10-24 12:29:21 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 250 seconds) |
| 2025-10-24 12:31:25 | → | _________ joins (~nobody@user/noodly) |
| 2025-10-24 12:35:35 | → | Googulator78 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 12:35:35 | × | Googulator20 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 12:36:19 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-24 12:38:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:cd8f:ea15:2cfa:e4a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-24 12:39:29 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-24 12:48:22 | → | Guest26 joins (~Guest26@88.97.199.38) |
| 2025-10-24 12:48:33 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-24 12:49:05 | × | Guest26 quits (~Guest26@88.97.199.38) (Client Quit) |
| 2025-10-24 12:55:28 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-24 12:56:53 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-24 12:57:52 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-24 12:58:06 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-24 13:01:25 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds) |
| 2025-10-24 13:10:17 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-24 13:13:18 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-10-24 13:15:43 | → | Googulator35 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 13:15:43 | × | Googulator78 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 13:21:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-24 13:23:24 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2025-10-24 13:25:59 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 13:26:13 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-24 13:39:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-24 13:40:12 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-24 13:45:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-24 13:50:44 | × | Googulator35 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 13:50:45 | → | Googulator81 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 13:54:29 | → | paul424 joins (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) |
| 2025-10-24 13:55:45 | <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 13:57:45 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-24 13:58:14 | → | trickard__ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 14:01:40 | AntiRembane | is now known as Rembane |
| 2025-10-24 14:05:22 | <__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 14:08:36 | × | paul424 quits (~lektor@2a01:111f:1301:c700:146c:2766:6a2d:c6cd) (Quit: Leaving) |
| 2025-10-24 14:17:35 | → | Square2 joins (~Square@user/square) |
| 2025-10-24 14:17:52 | <tomsmeding> | __monty__: would it not? If m is bottom, wouldn't all three expressions evaluate to bottom? |
| 2025-10-24 14:18:27 | <tomsmeding> | in any case, they should look up free theorems, but they left already |
| 2025-10-24 14:18:49 | <tomsmeding> | ("Theorems for free!" by Wadler) |
| 2025-10-24 14:18:57 | <tomsmeding> | there's probably more recent material |
| 2025-10-24 14:22:30 | <__monty__> | Hmm, you're right. |
| 2025-10-24 14:23:48 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 260 seconds) |
| 2025-10-24 14:35:20 | × | bggd quits (~bgg@2a01:e0a:819:1510:c164:b4c3:e966:1834) (Quit: std::move) |
| 2025-10-24 14:49:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-24 14:50:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-24 14:53:39 | × | acidjnk quits (~acidjnk@p200300d6e71719149420a57b8c2d8a1a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-24 14:53:52 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-24 14:58:54 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-24 14:59:47 | × | Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-24 15:03:41 | × | img_ quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-24 15:04:10 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-24 15:04:59 | → | img joins (~img@user/img) |
| 2025-10-24 15:18:10 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-24 15:21:35 | × | trickard__ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-24 15:21:49 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-24 15:21:54 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-24 15:24:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-24 15:43:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-24 15:43:30 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-24 15:45:38 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-24 15:47:12 | × | synchromesh quits (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-24 15:48:18 | → | synchromesh joins (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) |
| 2025-10-24 15:50:02 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 15:52:36 | → | yin joins (~zero@user/zero) |
| 2025-10-24 15:53:26 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-10-24 15:54:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-24 16:00:39 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 16:02:31 | → | yin joins (~zero@user/zero) |
| 2025-10-24 16:03:24 | trickard_ | is now known as trickard |
| 2025-10-24 16:15:22 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-10-24 16:16:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-24 16:24:16 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-24 16:26:56 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 16:27:11 | → | Googulator81 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 16:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 16:28:13 | × | kuribas quits (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-10-24 16:39:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-24 16:39:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-24 16:48:15 | → | acidjnk joins (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) |
| 2025-10-24 16:50:38 | → | Googulator71 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 16:50:39 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 16:50:41 | × | Googulator81 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 16:53:08 | → | yin joins (~zero@user/zero) |
| 2025-10-24 16:54:46 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-24 16:55:39 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-24 16:58:05 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-24 17:00:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-24 17:01:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-24 17:03:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 17:05:41 | → | Guest54 joins (~Guest54@95.68.100.1) |
All times are in UTC.