Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 837 838 839 840 841 842 843 844 845 846 847 .. 5022
— 502,152 events total
2020-10-24 12:09:43 <merijn> :t (Data.Array.!)
2020-10-24 12:09:44 <lambdabot> Ix i => Array i e -> i -> e
2020-10-24 12:09:56 → shatriff joins (~vitaliish@80.233.50.115)
2020-10-24 12:10:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-24 12:10:14 <merijn> So that's indexable by any type that has an Ix instance (mostly numbers and tuples of numbers, afaik)
2020-10-24 12:10:27 <merijn> :t Data.Map.lookup
2020-10-24 12:10:27 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 12:10:28 <lambdabot> Ord k => k -> M.Map k a -> Maybe a
2020-10-24 12:10:40 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 12:10:57 <merijn> That works for any key that is orderable
2020-10-24 12:10:59 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:11:34 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-24 12:12:11 × ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-10-24 12:12:49 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 12:14:23 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-10-24 12:16:02 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 12:16:15 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:16:49 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-24 12:17:25 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:20:18 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-24 12:21:34 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 12:23:56 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:26:36 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 12:27:15 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 12:28:27 hackage http-client-websockets 0.1.1.0 - Glue code for http-client and websockets https://hackage.haskell.org/package/http-client-websockets-0.1.1.0 (amesgen)
2020-10-24 12:28:35 × shatriff quits (~vitaliish@80.233.50.115) (Remote host closed the connection)
2020-10-24 12:32:23 → texasmynsted joins (~texasmyns@62.182.99.148)
2020-10-24 12:34:29 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-24 12:34:53 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-24 12:36:02 stefan-__ is now known as stefan-_
2020-10-24 12:36:27 → christo joins (~chris@81.96.113.213)
2020-10-24 12:36:45 → raichoo joins (~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de)
2020-10-24 12:36:48 × christo quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-24 12:37:01 → christo joins (~chris@81.96.113.213)
2020-10-24 12:38:10 × texasmynsted quits (~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 12:38:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 12:41:24 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 12:44:21 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 12:46:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 12:48:29 → rotty joins (rotty@ghost.xx.vu)
2020-10-24 12:49:26 × polyrain quits (~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 12:50:17 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 12:50:44 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 12:52:13 × avn quits (~avn@78-56-108-78.static.zebra.lt) (Ping timeout: 260 seconds)
2020-10-24 12:53:16 → thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 12:53:47 → donri joins (~donri@137.63.71.51)
2020-10-24 12:54:11 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:54:13 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-24 12:54:19 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-24 12:54:52 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 12:55:09 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 12:56:44 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-24 12:57:52 → shafox joins (~shafox@106.51.234.111)
2020-10-24 12:58:07 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 12:58:27 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 12:59:12 → christo joins (~chris@81.96.113.213)
2020-10-24 12:59:33 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-24 13:04:15 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 13:05:42 → Guest_81 joins (2a6ada69@42.106.218.105)
2020-10-24 13:05:42 <Guest_81> hi
2020-10-24 13:05:58 <Guest_81> im unable to download ghcup
2020-10-24 13:06:04 <Guest_81> on my mac
2020-10-24 13:06:59 <maerwald> Guest_81: why
2020-10-24 13:08:00 → son0p joins (~son0p@181.136.122.143)
2020-10-24 13:08:50 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 13:10:46 → carlomagno joins (~cararell@148.87.23.12)
2020-10-24 13:14:14 × Guest_81 quits (2a6ada69@42.106.218.105) (Ping timeout: 245 seconds)
2020-10-24 13:14:44 <joel135> I am trying curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh now in a pretty clean ubuntu 20.04
2020-10-24 13:15:33 → Wuzzy joins (~Wuzzy@p5790ef06.dip0.t-ipconnect.de)
2020-10-24 13:15:44 <joel135> un/fortunately I don't have a mac to test on
2020-10-24 13:16:45 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 13:17:16 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 256 seconds)
2020-10-24 13:18:20 × donri quits (~donri@137.63.71.51) (Ping timeout: 256 seconds)
2020-10-24 13:18:27 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 13:18:42 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-24 13:19:18 → christo joins (~chris@81.96.113.213)
2020-10-24 13:20:31 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 13:21:53 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-24 13:24:05 × christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-10-24 13:27:59 × ambiso9 quits (~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 13:28:52 → ambiso9 joins (~ambiso@209.182.239.205)
2020-10-24 13:28:59 → polyrain joins (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 13:30:08 → texasmynsted joins (~texasmyns@62.182.99.148)
2020-10-24 13:31:07 × texasmynsted quits (~texasmyns@62.182.99.148) (Read error: Connection reset by peer)
2020-10-24 13:31:52 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-24 13:33:09 → ddellacosta joins (~dd@86.106.121.168)
2020-10-24 13:33:26 <tomsmeding> maerwald: do you have a keyword highlight on 'ghcup' :p
2020-10-24 13:34:06 <maerwald> sure
2020-10-24 13:36:51 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 13:37:12 → mirrorbird_ joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 13:38:43 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2020-10-24 13:39:52 × MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 13:40:09 × geekosaur quits (ac3a3ed7@172.58.62.215) (Remote host closed the connection)
2020-10-24 13:42:27 × acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 13:45:34 → texasmynsted joins (~texasmyns@62.182.99.148)
2020-10-24 13:46:21 → texasmyn_ joins (~texasmyns@62.182.99.148)
2020-10-24 13:46:38 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 13:47:42 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 13:48:35 → fendor_ joins (~fendor@178.115.130.136.wireless.dyn.drei.com)
2020-10-24 13:50:11 × texasmynsted quits (~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
←Prev  Next→
Page 1 .. 837 838 839 840 841 842 843 844 845 846 847 .. 5022

All times are in UTC.