Newest at the top
2025-03-30 14:17:21 +0200 | fp1 | fp |
2025-03-30 14:15:04 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
2025-03-30 14:14:55 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Read error: Connection reset by peer) |
2025-03-30 14:12:44 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f61b516a7e5c12445e3.dip0.t-ipconnect.de) acidjnk |
2025-03-30 14:12:20 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-03-30 14:12:01 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Client Quit) |
2025-03-30 14:08:53 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
2025-03-30 14:08:41 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Client Quit) |
2025-03-30 14:08:19 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
2025-03-30 14:08:13 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Read error: Connection reset by peer) |
2025-03-30 14:05:30 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
2025-03-30 14:03:33 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
2025-03-30 14:00:44 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
2025-03-30 13:58:57 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
2025-03-30 13:57:53 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
2025-03-30 13:57:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-30 13:56:25 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) fp |
2025-03-30 13:56:13 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer) |
2025-03-30 13:45:21 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
2025-03-30 13:40:58 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
2025-03-30 13:40:50 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
2025-03-30 13:40:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-30 13:40:34 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
2025-03-30 13:39:01 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
2025-03-30 13:36:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2025-03-30 13:33:58 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-30 13:32:03 +0200 | amish | astra |
2025-03-30 13:30:42 +0200 | amish | (sid289983@user/amish) amish |
2025-03-30 13:30:42 +0200 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
2025-03-30 13:30:33 +0200 | astra | amish |
2025-03-30 13:25:33 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f61790abc3a16c69e44.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-30 13:23:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-30 13:20:18 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-03-30 13:20:10 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
2025-03-30 13:18:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm what's the optic that will remove the elements of a list located at an even index? some combination using the enumeration "Iso' [a] [(Int, a)]" and something involving "traversed . filtered even", right? |
2025-03-30 13:12:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-03-30 13:11:07 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-03-30 13:10:51 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
2025-03-30 13:10:21 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-03-30 13:10:13 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
2025-03-30 13:07:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-30 13:01:24 +0200 | <Rembane> | thirdofmay18081814goya: No worries! :) |
2025-03-30 13:01:16 +0200 | <int-e> | And Control.Monad.Error mimicked that after the MonadFail class was introduced. |
2025-03-30 13:00:33 +0200 | <int-e> | `fail` used to be in `Monad` and the Monad instance for Either used to be instance Error e => Monad (Either e) where `Error` had a function to convert String into an e, which was used to implement `fail`. |
2025-03-30 13:00:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> @Rembane neat! didn't know about it, ty |
2025-03-30 12:59:54 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
2025-03-30 12:59:26 +0200 | <int-e> | yes |
2025-03-30 12:59:19 +0200 | <Rembane> | int-e: Ah, this has some history. |
2025-03-30 12:59:03 +0200 | sprotte24 | (~sprotte24@p200300d16f1e0e006577a4ba097b8b9e.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-03-30 12:58:05 +0200 | <int-e> | Rembane: Well I used it before it was deprecated because it offered the behavior that Either had before the MonadFail proposal. |