Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 906 907 908 909 910 911 912 913 914 915 916 .. 5022
— 502,152 events total
2020-10-28 03:22:35 × natim87 quits (sid286962@gateway/web/irccloud.com/x-ceyxlbqjhgkntuzg) (Read error: Connection reset by peer)
2020-10-28 03:22:35 × davetapley quits (sid666@gateway/web/irccloud.com/x-unkevmoregbjgeww) (Read error: Connection reset by peer)
2020-10-28 03:22:36 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-kvsrlvuwekbjywwv) (Read error: Connection reset by peer)
2020-10-28 03:22:36 × totbwf quits (sid402332@gateway/web/irccloud.com/x-ymdhjktodciveoos) (Read error: Connection reset by peer)
2020-10-28 03:22:43 × SrPx quits (sid108780@gateway/web/irccloud.com/x-bqucgfmlfmdjtbdg) (Read error: Connection reset by peer)
2020-10-28 03:22:53 → AndreasK joins (sid320732@gateway/web/irccloud.com/x-ktiwazcixhtnosgk)
2020-10-28 03:22:56 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-kvxiagmqenenwcwd)
2020-10-28 03:22:57 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-fpmmjvddoaxuhwfl)
2020-10-28 03:23:21 → SrPx joins (sid108780@gateway/web/irccloud.com/x-uslzvcburhozaynt)
2020-10-28 03:23:23 → davetapley joins (sid666@gateway/web/irccloud.com/x-robbsvqvrfwhlocr)
2020-10-28 03:23:24 → alanz joins (sid110616@gateway/web/irccloud.com/x-kaaptnygtinjlvts)
2020-10-28 03:23:29 → rdivyanshu joins (sid322626@gateway/web/irccloud.com/x-vijvgbwevjdmeabn)
2020-10-28 03:23:32 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-28 03:23:34 → bradparker joins (sid262931@gateway/web/irccloud.com/x-cpaqunedaxagfosc)
2020-10-28 03:23:37 → Cir0X joins (sid221743@gateway/web/irccloud.com/x-vbsqpqvnwnaxxlao)
2020-10-28 03:23:37 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-fahcpupvewgkoceh)
2020-10-28 03:23:37 → totbwf joins (sid402332@gateway/web/irccloud.com/x-sxpcryhpiyewihxs)
2020-10-28 03:23:39 → cvlad- joins (sid203065@gateway/web/irccloud.com/x-dghqjpkfmvjbucbi)
2020-10-28 03:23:39 → natim87 joins (sid286962@gateway/web/irccloud.com/x-bwmegmbyiecjxmkz)
2020-10-28 03:23:41 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-kynfnrknqktyblak)
2020-10-28 03:23:45 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-eopdvyfizptvmxgr)
2020-10-28 03:23:57 × lally quits (sid388228@gateway/web/irccloud.com/x-iepgjmxehrzuvipm) (Ping timeout: 260 seconds)
2020-10-28 03:23:57 × systemfault quits (sid267009@gateway/web/irccloud.com/x-htxicjxaklgtpnib) (Ping timeout: 260 seconds)
2020-10-28 03:24:02 → cemerick joins (sid54985@gateway/web/irccloud.com/x-syfoeolkqemrbwow)
2020-10-28 03:24:51 → lally joins (sid388228@gateway/web/irccloud.com/x-vliwvdsdwmscsdor)
2020-10-28 03:25:01 → systemfault joins (sid267009@gateway/web/irccloud.com/x-cuwcujscdtdsdgqf)
2020-10-28 03:25:06 → jared-w joins (uid405292@gateway/web/irccloud.com/x-hjvulmngvzyqxsmb)
2020-10-28 03:25:11 → eruditass joins (uid248673@gateway/web/irccloud.com/x-fakbfhwrqsthhqfr)
2020-10-28 03:25:42 <Kolkrabe> Axman6: I see, thanks. Would be also useful for parse trees where you want to have different trees with source position information attached or not
2020-10-28 03:25:51 → christo joins (~chris@81.96.113.213)
2020-10-28 03:27:35 → petersen joins (~petersen@redhat/juhp)
2020-10-28 03:28:51 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-28 03:29:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-28 03:30:07 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-28 03:30:27 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-28 03:30:58 × christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2020-10-28 03:31:00 → bartemius joins (~bartemius@109.252.20.20)
2020-10-28 03:33:04 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-28 03:34:11 × theDon quits (~td@muedsl-82-207-238-193.citykom.de) (Ping timeout: 260 seconds)
2020-10-28 03:35:05 × bartemius quits (~bartemius@109.252.20.20) (Ping timeout: 240 seconds)
2020-10-28 03:35:49 → theDon joins (~td@muedsl-82-207-238-123.citykom.de)
2020-10-28 03:40:12 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 03:43:32 <koz_> Kolkrabe: Yeah, it can be used for that too.
2020-10-28 03:43:48 <koz_> HKD does have some downsides though.
2020-10-28 03:47:21 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-28 03:48:32 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 03:52:40 × lucasb quits (uid333435@gateway/web/irccloud.com/x-qizvrgxqojerddcd) (Quit: Connection closed for inactivity)
2020-10-28 03:53:35 → scf-1 joins (~scf-1@84.39.116.180)
2020-10-28 03:56:46 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-10-28 03:56:48 <Orbstheorem> #nixos
2020-10-28 03:57:16 <Orbstheorem> (sorry for the noise)
2020-10-28 03:57:31 × mbomba quits (~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-28 03:58:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-28 03:59:33 × jedws quits (~jedws@101.184.193.144) (Remote host closed the connection)
2020-10-28 03:59:44 × mmohammadi9812 quits (~mmohammad@2.178.146.18) (Quit: Quit)
2020-10-28 04:00:00 → mmohammadi9812 joins (~mmohammad@2.178.146.18)
2020-10-28 04:00:17 → jedws joins (~jedws@101.184.193.144)
2020-10-28 04:00:26 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-28 04:00:39 × damianfral4 quits (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-28 04:01:15 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-10-28 04:01:19 → damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net)
2020-10-28 04:01:39 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f)
2020-10-28 04:03:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-28 04:05:16 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-28 04:06:34 × damianfral4 quits (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2020-10-28 04:06:38 ← jbox parts (~atlas@unaffiliated/jbox) ("WeeChat 2.9")
2020-10-28 04:07:02 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-28 04:07:20 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-28 04:07:20 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-28 04:07:20 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-28 04:07:38 → damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net)
2020-10-28 04:10:04 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-28 04:11:05 → obihann joins (~jhann@156.34.160.69)
2020-10-28 04:14:24 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-10-28 04:15:15 × damianfral4 quits (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2020-10-28 04:15:37 → damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net)
2020-10-28 04:15:53 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 260 seconds)
2020-10-28 04:16:23 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-28 04:18:58 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-28 04:20:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-28 04:23:36 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-10-28 04:24:07 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-28 04:25:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-28 04:34:22 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-28 04:37:05 × zebrag quits (~inkbottle@aaubervilliers-654-1-111-120.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-10-28 04:37:07 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-28 04:37:25 × FreeBird_ quits (~freebirdl@101.228.42.108) (Remote host closed the connection)
2020-10-28 04:38:30 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-28 04:39:32 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-28 04:39:39 × jedws quits (~jedws@101.184.193.144) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 04:39:58 → zebrag joins (~inkbottle@aaubervilliers-654-1-111-120.w86-198.abo.wanadoo.fr)
2020-10-28 04:43:35 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-28 04:43:52 → polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c)
2020-10-28 04:44:40 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-28 04:47:26 <crestfallen> http://ix.io/2CfR hi the ghci session I have commented out at the bottom of this paste gave unexpected results. how did the zero in (Just 0) end up in the tree? thamks
2020-10-28 04:48:37 <sandmwitch> Well... I mean, -5 is not > 0, so
2020-10-28 04:49:01 <koz_> Yeah, pretty much exactly this.
2020-10-28 04:49:24 <crestfallen> (aa was originally : aa x = if even x then Just (div x 2) else Nothing )
2020-10-28 04:49:42 <crestfallen> so with Nothing it fails, I see that
2020-10-28 04:50:21 <crestfallen> But I thought that if anything fails the predicate then I would have Just 0 returned
←Prev  Next→
Page 1 .. 906 907 908 909 910 911 912 913 914 915 916 .. 5022

All times are in UTC.