Newest at the top
| 2026-02-17 15:18:22 +0100 | <hadronized> | anyone has enough ATS knowledge and/or Linear Haskell? |
| 2026-02-17 15:07:56 +0100 | <kaol> | Since GHC 8.2, released in 2017. |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> It says 4.10.0.0 on the hackage, but what year is that |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> Since when is Bitraversable in base |
| 2026-02-17 14:59:26 +0100 | <kaol> | I came up with a fun function: bitraverse <*> traverse. For manipulating that bothersome Either a (b,a). |
| 2026-02-17 14:53:38 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-17 14:51:01 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 14:44:02 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-17 14:40:43 +0100 | Googulator | (~Googulato@185.199.28.81) |
| 2026-02-17 14:29:12 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) (Ping timeout: 264 seconds) |
| 2026-02-17 14:25:28 +0100 | lol_ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 14:24:05 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-17 14:02:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 14:02:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 13:47:06 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 13:46:49 +0100 | lol__ | (~lol@2603:3016:1e01:b940:75b2:faa1:cf91:eeec) (Server closed connection) |
| 2026-02-17 13:37:37 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-17 13:21:01 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 13:16:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-17 13:12:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 13:07:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-02-17 13:05:48 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 2026-02-17 13:04:00 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-02-17 13:01:07 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-02-17 12:58:23 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:54:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:54:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-17 12:49:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:30:57 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-17 12:30:49 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-17 12:23:38 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-17 12:23:18 +0100 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b998:e0f5:fe7b:6a99) (Read error: Connection reset by peer) |
| 2026-02-17 12:18:43 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:12:43 +0100 | hellwolf | (~user@6bd4-851f-4104-a77b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-02-17 12:12:29 +0100 | hellwolf | (~user@fab4-59b3-1ab0-7451-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection) |
| 2026-02-17 12:06:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) |
| 2026-02-17 12:02:41 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-17 12:01:31 +0100 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-02-17 11:37:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 11:29:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 11:27:03 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-17 11:26:44 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-17 11:24:42 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-17 11:19:36 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 11:06:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-17 10:52:56 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-17 10:52:25 +0100 | gawen | (~gawen@user/gawen) gawen |