Newest at the top
| 2025-02-28 13:25:54 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2387::38a:37) (Ping timeout: 248 seconds) |
| 2025-02-28 13:24:17 +0100 | xff0x | (~xff0x@2405:6580:b080:900:decf:3f06:84d:1232) |
| 2025-02-28 13:21:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-28 13:21:33 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-02-28 13:21:09 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 13:17:05 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-28 13:16:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 13:16:46 +0100 | manwithluck` | (~manwithlu@2a09:bac1:5ba0:20::49:b4) (Ping timeout: 268 seconds) |
| 2025-02-28 13:16:29 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2387::38a:37) manwithluck |
| 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 |