Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 .. 5022
— 502,152 events total
2020-11-16 10:17:50 <Martinsos> @karma merijn
2020-11-16 10:17:50 <lambdabot> merijn has a karma of 76
2020-11-16 10:18:48 <Martinsos> [exa]++
2020-11-16 10:19:23 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 260 seconds)
2020-11-16 10:21:14 <[exa]> Martinsos: worry not, karma tracks itself here
2020-11-16 10:21:54 <Martinsos> [exa]: Aha, what do you mean by that, how does it track itself?
2020-11-16 10:24:27 <boxscape> @hoogle (a -> b) -> (a -> c) -> a -> (b, c)
2020-11-16 10:24:28 <lambdabot> Data.Tuple.Extra (&&&) :: (a -> b) -> (a -> c) -> a -> (b, c)
2020-11-16 10:24:28 <lambdabot> Extra (&&&) :: (a -> b) -> (a -> c) -> a -> (b, c)
2020-11-16 10:24:28 <lambdabot> Control.Wire.Core (&&&!) :: (a -> b) -> (a -> c) -> (a -> (b, c))
2020-11-16 10:24:31 → acidjnk_new joins (~acidjnk@p200300d0c718f648045012e87868ed0b.dip0.t-ipconnect.de)
2020-11-16 10:24:39 <boxscape> hmm it doesn't find the Arrow one
2020-11-16 10:25:58 → lxsameer joins (~lxsameer@unaffiliated/lxsameer)
2020-11-16 10:28:52 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Ping timeout: 256 seconds)
2020-11-16 10:28:53 <boxscape> @pl \(^.) -> ((^.bla) &&& (^.foo))
2020-11-16 10:28:53 <lambdabot> (line 1, column 3):
2020-11-16 10:28:53 <lambdabot> unexpected "^"
2020-11-16 10:28:53 <lambdabot> expecting pattern
2020-11-16 10:29:01 <boxscape> this is a lambdabot restriction, right?
2020-11-16 10:29:09 <boxscape> or pointless restriction, rather
2020-11-16 10:30:33 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 10:30:50 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-16 10:32:59 <merijn> pl is rather dumb
2020-11-16 10:33:07 <merijn> It doesn't properly parse Haskell, iirc
2020-11-16 10:33:51 <boxscape> I see
2020-11-16 10:35:04 <merijn> > (\(^.) -> 5 ^. 3) (+)
2020-11-16 10:35:07 <lambdabot> 8
2020-11-16 10:35:12 <merijn> Seems to work :)
2020-11-16 10:37:02 × w1gz quits (~do@159.89.11.133) (Quit: WeeChat 2.9)
2020-11-16 10:40:28 <Martinsos> > 314 + 42
2020-11-16 10:40:31 <lambdabot> 356
2020-11-16 10:44:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-16 10:44:45 → vonfry joins (~user@116.236.75.207)
2020-11-16 10:44:45 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 10:45:18 → subttle joins (~anonymous@unaffiliated/subttle)
2020-11-16 10:46:52 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th)
2020-11-16 10:48:55 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-16 10:49:27 {abby}2 is now known as {abby}
2020-11-16 10:50:52 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 10:52:03 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-16 10:52:05 → bidabong joins (uid272474@gateway/web/irccloud.com/x-baxncysxwetsxiet)
2020-11-16 10:52:23 → Feuermagier joins (~Feuermagi@213.178.26.41)
2020-11-16 10:57:41 × guest1116 quits (~user@49.5.6.87) (Remote host closed the connection)
2020-11-16 10:57:50 → LKoen joins (~LKoen@9.253.88.92.rev.sfr.net)
2020-11-16 10:58:16 → jaspervdj joins (~jaspervdj@213.55.241.138)
2020-11-16 10:58:43 → w1gz joins (~do@159.89.11.133)
2020-11-16 11:01:09 × Martinsos quits (~user@cpe-188-129-116-164.dynamic.amis.hr) (Remote host closed the connection)
2020-11-16 11:01:14 × alp quits (~alp@2a01:e0a:58b:4920:8cf5:bc2e:8b7a:9a8e) (Ping timeout: 264 seconds)
2020-11-16 11:01:25 → jakob_ joins (~textual@p200300f49f1622008dbefd778746ea7f.dip0.t-ipconnect.de)
2020-11-16 11:01:38 → Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-16 11:03:22 × LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-16 11:03:41 ← Martinsos parts (~user@cpe-188-129-116-164.dynamic.amis.hr) ()
2020-11-16 11:03:53 → Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-16 11:04:04 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-16 11:04:59 → LKoen joins (~LKoen@9.253.88.92.rev.sfr.net)
2020-11-16 11:05:04 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 11:06:23 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-16 11:08:57 → christo joins (~chris@81.96.113.213)
2020-11-16 11:11:10 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 11:13:25 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2020-11-16 11:13:31 × christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-11-16 11:19:19 → alp joins (~alp@2a01:e0a:58b:4920:1c72:d61a:7e48:b350)
2020-11-16 11:22:48 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-16 11:23:33 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-11-16 11:26:04 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 11:27:08 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-16 11:31:06 → cosimone joins (~cosimone@5.171.26.79)
2020-11-16 11:31:30 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 11:31:34 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-11-16 11:32:16 × vonfry quits (~user@116.236.75.207) (Remote host closed the connection)
2020-11-16 11:32:36 → knupfer joins (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de)
2020-11-16 11:33:04 × knupfer quits (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de) (Client Quit)
2020-11-16 11:33:15 → Tario joins (~Tario@201.192.165.173)
2020-11-16 11:34:40 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-11-16 11:35:57 → knupfer joins (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de)
2020-11-16 11:38:27 → cgfuh joins (~cgfuh@181.167.191.58)
2020-11-16 11:38:35 × Unhammerd quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-11-16 11:38:43 → mirrorbird joins (~psutcliff@176.227.57.79)
2020-11-16 11:39:33 → Unhammerd joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-16 11:40:14 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2020-11-16 11:41:05 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-16 11:42:47 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:1774:2bb5:b05f:edf1) (Ping timeout: 260 seconds)
2020-11-16 11:47:26 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 11:51:02 × Martinsos quits (~user@cpe-188-129-116-164.dynamic.amis.hr) (Ping timeout: 256 seconds)
2020-11-16 11:51:11 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_)
2020-11-16 11:51:48 → wi[m] joins (w1gzmatrix@gateway/shell/matrix.org/x-xtlrgyxrbktyedto)
2020-11-16 11:52:32 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-16 11:53:50 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2020-11-16 11:53:58 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 11:54:49 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:1e63:f75b:d40e:f87e)
2020-11-16 12:04:07 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2020-11-16 12:04:30 hackage Z-Data 0.1.9.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.9.0 (winterland)
2020-11-16 12:05:56 × cosimone quits (~cosimone@5.171.26.79) (Quit: cosimone)
2020-11-16 12:06:03 → cheater joins (~user@unaffiliated/cheater)
2020-11-16 12:07:52 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 12:08:21 × mirrorbird quits (~psutcliff@176.227.57.79) (Quit: Leaving)
2020-11-16 12:09:36 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
2020-11-16 12:13:17 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 12:15:43 → Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-16 12:22:29 × knupfer quits (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de) (Quit: knupfer)
←Prev  Next→
Page 1 .. 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 .. 5022

All times are in UTC.