Newest at the top
2024-12-29 18:13:21 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
2024-12-29 18:12:22 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-12-29 18:11:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-12-29 18:08:27 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-12-29 18:07:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-29 18:02:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2024-12-29 17:59:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-29 17:59:08 +0100 | annamalai | (~yaaic@2409:4072:609c:96c7::1350:d8b1) annamalai |
2024-12-29 17:57:47 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89c5dccb51c3ab6697.dip0.t-ipconnect.de) acidjnk |
2024-12-29 17:57:09 +0100 | tnt2 | tnt1 |
2024-12-29 17:57:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
2024-12-29 17:56:08 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2024-12-29 17:54:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-29 17:47:41 +0100 | kevinz56 | (~kevinz56@202.134.186.134) (Client Quit) |
2024-12-29 17:47:02 +0100 | <kevinz56> | Hii |
2024-12-29 17:46:51 +0100 | kevinz56 | (~kevinz56@202.134.186.134) |
2024-12-29 17:46:31 +0100 | Guest62 | (~Guest10@202.134.186.134) (Client Quit) |
2024-12-29 17:46:14 +0100 | Guest62 | (~Guest10@202.134.186.134) |
2024-12-29 17:44:08 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
2024-12-29 17:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-29 17:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-29 17:36:33 +0100 | annamalai | (~yaaic@2409:4072:609c:96c7::1350:d8b1) (Ping timeout: 276 seconds) |
2024-12-29 17:29:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-12-29 17:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-12-29 17:24:45 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-12-29 17:24:30 +0100 | <haskellbridge> | <hellwolf> https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#v:sequence |
2024-12-29 17:22:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-29 17:22:29 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
2024-12-29 17:21:48 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) |
2024-12-29 17:18:38 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) (Read error: Connection reset by peer) |
2024-12-29 17:17:19 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) |
2024-12-29 17:11:30 +0100 | Digit | (~user@198.144.208.46.dyn.plus.net) (Ping timeout: 244 seconds) |
2024-12-29 17:11:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-29 17:06:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-29 17:03:45 +0100 | <int-e> | hmm, where did you find this? |
2024-12-29 17:03:14 +0100 | <haskellbridge> | <hellwolf> I suspect this example helps no one but confuse people |
2024-12-29 17:03:01 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
2024-12-29 17:02:45 +0100 | <haskellbridge> | <hellwolf> I got it in the playground eventually |
2024-12-29 17:02:33 +0100 | <haskellbridge> | <hellwolf> main = print =<< (sequence $ Left [1,2,3,4] :: IO (Either [Int] ())) |
2024-12-29 17:02:18 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Max SendQ exceeded) |
2024-12-29 17:00:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-12-29 17:00:32 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
2024-12-29 17:00:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-29 17:00:10 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
2024-12-29 16:59:00 +0100 | <int-e> | Ah it would help if I could type. |
2024-12-29 16:57:47 +0100 | int-e | gives up |
2024-12-29 16:57:41 +0100 | <lambdabot> | • Perhaps you meant one of these: |
2024-12-29 16:57:41 +0100 | <lambdabot> | • Data constructor not in scope: Idenitity :: () -> Identity () |
2024-12-29 16:57:41 +0100 | <lambdabot> | error: |
2024-12-29 16:57:39 +0100 | <int-e> | > sequence $ Right (Idenitity ()) :: Identity (Either [Int] ()) |