Newest at the top
| 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 |
| 2025-02-28 09:35:15 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::46e1) (Ping timeout: 276 seconds) |
| 2025-02-28 09:35:07 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-28 09:35:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 09:32:30 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-28 09:30:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-28 09:30:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 09:27:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-28 09:23:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 09:22:30 +0100 | bilegeek__ | (~bilegeek@2600:1008:b061:9e8:b6a7:1e21:b590:dc2) (Quit: Leaving) |
| 2025-02-28 09:22:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:19:56 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-02-28 09:19:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:19:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 09:18:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-28 09:16:29 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:14:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |