Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 .. 5022
— 502,152 events total
2021-04-26 11:24:53 <tomsmeding> not knowing much about LH that error sounds like there's some name confusion going on
2021-04-26 11:25:18 <Franciman> I changed to r
2021-04-26 11:25:22 <Franciman> no
2021-04-26 11:25:24 <Franciman> change
2021-04-26 11:25:40 <Franciman> the problem looks like to lie in the null function
2021-04-26 11:25:48 <Franciman> damn you liquid haskell
2021-04-26 11:26:47 × nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 11:26:53 → ekrion joins (~ffx1@181.58.39.182)
2021-04-26 11:28:45 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-26 11:34:55 → machinedgod joins (~machinedg@24.105.81.50)
2021-04-26 11:40:30 <tempate> How can I check if two functions give the same output for a list of inputs?
2021-04-26 11:40:35 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-04-26 11:41:00 → idhugo joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-26 11:41:07 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 11:41:15 <Franciman> all . map (\input -> f1 input == f2 input) inputs
2021-04-26 11:41:21 <Franciman> ops
2021-04-26 11:41:37 <Franciman> all $ map (\i -> f1 i == f2 i) inputs
2021-04-26 11:41:53 <tempate> Hmmm
2021-04-26 11:41:54 <tempate> Nice
2021-04-26 11:41:56 <tempate> Thanks a lot
2021-04-26 11:42:04 → boogsbunny joins (1769ab38@23.105.171.56)
2021-04-26 11:44:38 × michalz quits (~user@185.246.204.44) (Read error: Connection reset by peer)
2021-04-26 11:45:49 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-04-26 11:45:56 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-26 11:47:39 → rodriga joins (~quassel@134.204.25.66)
2021-04-26 11:48:25 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
2021-04-26 11:48:45 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2021-04-26 11:51:32 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-26 11:53:42 <tempate> Franciman: just for consistency, I had to remove "$ map" for it to work
2021-04-26 11:53:58 <Franciman> oh cool
2021-04-26 11:54:01 <Franciman> :t all
2021-04-26 11:54:03 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2021-04-26 11:54:07 <Franciman> ok sorry
2021-04-26 11:54:11 <Franciman> it makes sense
2021-04-26 11:54:35 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-26 11:58:20 → unyu joins (~pyon@unaffiliated/pyon)
2021-04-26 11:59:15 → urodna joins (~urodna@unaffiliated/urodna)
2021-04-26 12:03:40 → nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 12:05:06 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds)
2021-04-26 12:05:21 → CrazyPython joins (~crazypyth@98.122.164.118)
2021-04-26 12:05:43 → michalz joins (~user@185.246.204.123)
2021-04-26 12:06:08 → hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-04-26 12:07:54 × nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 12:09:39 → knupfer joins (~Thunderbi@i59F67B5E.versanet.de)
2021-04-26 12:10:34 <kritzefitz> Franciman, you probably thought of and
2021-04-26 12:10:35 <kritzefitz> :t and
2021-04-26 12:10:36 <lambdabot> Foldable t => t Bool -> Bool
2021-04-26 12:10:43 <Franciman> oh right
2021-04-26 12:10:46 <Franciman> yep
2021-04-26 12:11:54 → alx741 joins (~alx741@181.196.69.35)
2021-04-26 12:12:20 → ddellacosta joins (~ddellacos@86.106.143.190)
2021-04-26 12:13:30 → zmijunkie joins (~Adium@87.123.51.242)
2021-04-26 12:13:55 × zmijunkie1 quits (~Adium@109.90.32.89) (Ping timeout: 252 seconds)
2021-04-26 12:14:53 → o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-04-26 12:16:34 × forell quits (~forell@unaffiliated/forell) (Ping timeout: 260 seconds)
2021-04-26 12:16:41 × ddellacosta quits (~ddellacos@86.106.143.190) (Ping timeout: 240 seconds)
2021-04-26 12:17:32 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-26 12:17:44 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-04-26 12:18:44 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
2021-04-26 12:20:35 × cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds)
2021-04-26 12:21:14 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 245 seconds)
2021-04-26 12:24:45 → edwtjo joins (~edwtjo@h-7-145.A213.priv.bahnhof.se)
2021-04-26 12:24:45 × edwtjo quits (~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host)
2021-04-26 12:24:45 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
2021-04-26 12:25:49 → acidjnk_new joins (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
2021-04-26 12:27:51 → Tops21 joins (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de)
2021-04-26 12:28:17 → forell joins (~forell@unaffiliated/forell)
2021-04-26 12:28:32 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-26 12:30:53 → ddellacosta joins (~ddellacos@86.106.143.112)
2021-04-26 12:30:58 × Tops2 quits (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
2021-04-26 12:31:16 → drbean_ joins (~drbean@TC210-63-209-57.static.apol.com.tw)
2021-04-26 12:31:29 → Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
2021-04-26 12:37:15 → LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
2021-04-26 12:38:17 × hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-04-26 12:38:56 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 12:38:58 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-04-26 12:40:30 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-26 12:40:56 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit)
2021-04-26 12:50:43 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-26 12:51:45 → stree joins (~stree@68.36.8.116)
2021-04-26 12:52:35 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-26 12:55:47 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-26 12:58:26 × Benzi-Junior quits (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 240 seconds)
2021-04-26 12:58:28 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-26 12:59:55 → kuribas joins (~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be)
2021-04-26 13:00:53 × noexcept quits (~noexcept@2a03:b0c0:3:d0::33:9001) (Read error: Connection reset by peer)
2021-04-26 13:01:29 → noexcept joins (~noexcept@2a03:b0c0:3:d0::33:9001)
2021-04-26 13:03:38 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 13:05:14 → bitmagie joins (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de)
2021-04-26 13:05:18 × ekrion quits (~ffx1@181.58.39.182) (Remote host closed the connection)
2021-04-26 13:06:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 13:07:02 → Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
2021-04-26 13:09:34 × bitmagie quits (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Client Quit)
2021-04-26 13:09:49 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-26 13:10:18 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-26 13:11:18 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 13:11:44 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-04-26 13:15:50 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-26 13:16:59 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-26 13:17:57 → nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
←Prev  Next→
Page 1 .. 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 .. 5022

All times are in UTC.