Newest at the top
| 2025-02-28 10:48:15 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-28 10:44:27 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2025-02-28 10:43:17 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-28 10:39:04 +0100 | sarna | (~sarna@d224-52.icpnet.pl) (Ping timeout: 260 seconds) |
| 2025-02-28 10:37:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:36:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:36:31 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-28 10:32:45 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:32:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:29:03 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:28:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:25:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:23:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:21:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-28 10:20:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:18:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-28 10:17:20 +0100 | AlexZenon | (~alzenon@178.34.162.44) |
| 2025-02-28 10:15:35 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:13:34 +0100 | <cheater> | it gets rid of the type |
| 2025-02-28 10:13:28 +0100 | <cheater> | ah right |
| 2025-02-28 10:13:18 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: isJust ; Suggested fix: ; Perhaps use data constructor ‘Just’ (imported from Prelude) |
| 2025-02-28 10:13:18 +0100 | <cheater> | % :t isJust |
| 2025-02-28 10:13:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-28 10:13:10 +0100 | <cheater> | how can you have [isJust a, isJust b] if a and b are different types |
| 2025-02-28 10:12:32 +0100 | AlexZenon | (~alzenon@178.34.162.44) (Ping timeout: 244 seconds) |
| 2025-02-28 10:12:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:08:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 10:08:34 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-28 10:08:03 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-28 10:05:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:04:08 +0100 | mange | (~user@user/mange) mange |
| 2025-02-28 10:03:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 10:02:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:01:54 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2025-02-28 10:01:13 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:59:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-28 09:59:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-28 09:56:58 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:56:23 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 09:54:34 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 260 seconds) |
| 2025-02-28 09:54:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:53:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 09:51:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90151e54128007b3e3.dip0.t-ipconnect.de) acidjnk |
| 2025-02-28 09:50:08 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:49:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:48:09 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 09:45:39 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:44:05 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:40:26 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-28 09:35:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |