Newest at the top
| 2025-02-28 13:15:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:15:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:13:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:09:25 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:05:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:02:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:00:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-02-28 12:59:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:54:59 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:53:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:53:31 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-02-28 12:52:45 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-02-28 12:50:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:50:32 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-02-28 12:48:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:48:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2025-02-28 12:45:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:43:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:43:19 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-02-28 12:40:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:40:20 +0100 | hackshell | (~hackshell@2001-14ba-466-5800-35e5-5c75-8df8-d2c8.rev.dnainternet.fi) (Client Quit) |
| 2025-02-28 12:39:28 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:36:48 +0100 | drlong67 | (~david@user/drlong67) (Client Quit) |
| 2025-02-28 12:36:21 +0100 | hackshell | (~hackshell@2001-14ba-466-5800-35e5-5c75-8df8-d2c8.rev.dnainternet.fi) |
| 2025-02-28 12:34:21 +0100 | drlong67 | (~david@user/drlong67) drlong67 |
| 2025-02-28 12:33:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-28 12:29:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 12:25:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
| 2025-02-28 12:22:18 +0100 | jespada | (~jespada@2800:a4:2319:bf00:2482:f961:7f45:5c3d) (Client Quit) |
| 2025-02-28 12:22:08 +0100 | jespada | (~jespada@2800:a4:2319:bf00:2482:f961:7f45:5c3d) jespada |
| 2025-02-28 12:21:59 +0100 | <ncf> | (joking) |
| 2025-02-28 12:21:55 +0100 | <ncf> | isJust Just = True |
| 2025-02-28 12:21:51 +0100 | <ncf> | isJust :: (forall a. a -> Maybe a) -> Bool |
| 2025-02-28 12:19:24 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-02-28 12:18:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:16:32 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:15:24 +0100 | ski | . o O ( `isJust :: (exists a. Maybe a) -> Bool' ) |
| 2025-02-28 12:13:27 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 12:10:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:09:39 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-28 12:09:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:07:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-28 12:06:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:04:56 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 272 seconds) |
| 2025-02-28 12:04:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:01:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-28 12:01:17 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:cd99:ecc5:f78b:848b) ubert |
| 2025-02-28 12:00:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:59:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:55:21 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |