IRCBrowse

2025/02/28

Newest at the top

2025-02-28 11:31:15 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 11:27:23 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 11:26:12 +0100Googulator(~Googulato@81.183.235.203)
2025-02-28 11:24:03 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 11:20:21 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 11:15:45 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 11:09:53 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 11:08:55 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 11:08:14 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-02-28 11:05:55 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 11:02:14 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2025-02-28 11:01:47 +0100mange(~user@user/mange) (Read error: Connection reset by peer)
2025-02-28 11:01:45 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:58:43 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-02-28 10:54:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-28 10:53:42 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds)
2025-02-28 10:49:49 +0100rvalue-rvalue
2025-02-28 10:48:15 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-02-28 10:44:27 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2025-02-28 10:43:17 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-02-28 10:39:04 +0100sarna(~sarna@d224-52.icpnet.pl) (Ping timeout: 260 seconds)
2025-02-28 10:37:36 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:36:37 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:36:31 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2025-02-28 10:32:45 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:32:43 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:29:03 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:28:16 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:25:11 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:23:14 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:21:00 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-28 10:20:10 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:18:49 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-28 10:17:20 +0100AlexZenon(~alzenon@178.34.162.44)
2025-02-28 10:15:35 +0100j1n37(~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 +0100alfiee(~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 +0100AlexZenon(~alzenon@178.34.162.44) (Ping timeout: 244 seconds)
2025-02-28 10:12:22 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-02-28 10:08:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-28 10:08:34 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-02-28 10:08:03 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-02-28 10:05:44 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-02-28 10:04:08 +0100mange(~user@user/mange) mange
2025-02-28 10:03:03 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-02-28 10:02:31 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)