Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4735 4736 4737 4738 4739 4740 4741 4742 4743 4744 4745 .. 5022
— 502,152 events total
2021-05-04 19:04:37 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650)
2021-05-04 19:05:01 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-04 19:05:44 ← asdf1234fs parts (~kyle@108.161.22.155) ()
2021-05-04 19:07:31 → seliopou joins (seliopou@entropy.tmok.com)
2021-05-04 19:09:28 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-04 19:13:34 × fendor quits (~fendor@178.115.128.74.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-04 19:14:49 × deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds)
2021-05-04 19:15:56 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-rhabdusdgycjevhi)
2021-05-04 19:16:14 → fendor joins (~fendor@178.115.128.74.wireless.dyn.drei.com)
2021-05-04 19:16:15 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds)
2021-05-04 19:16:19 → deviantfero joins (~deviantfe@190.150.27.58)
2021-05-04 19:16:56 → fendor_ joins (~fendor@178.115.128.74.wireless.dyn.drei.com)
2021-05-04 19:17:33 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-04 19:18:57 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-05-04 19:22:40 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-04 19:23:31 × kuribas quits (~user@ptr-25vy0i74839npjhgcue.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-04 19:24:35 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-04 19:26:41 → coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-04 19:26:59 → philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-05-04 19:27:23 → ValeraRozuvan joins (~ValeraRoz@95.164.65.159)
2021-05-04 19:27:30 × ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Remote host closed the connection)
2021-05-04 19:27:48 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-04 19:29:37 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-04 19:30:03 → xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu)
2021-05-04 19:31:24 → zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr)
2021-05-04 19:32:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-04 19:33:28 × letmein quits (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Quit: letmein)
2021-05-04 19:33:37 × xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Client Quit)
2021-05-04 19:33:45 × nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 246 seconds)
2021-05-04 19:35:48 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-04 19:35:56 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-04 19:36:57 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-04 19:37:28 → ddellac__ joins (~ddellacos@86.106.143.57)
2021-05-04 19:39:44 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-04 19:41:58 × juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-04 19:42:36 × ddellac__ quits (~ddellacos@86.106.143.57) (Ping timeout: 268 seconds)
2021-05-04 19:44:40 → TommyC joins (~TommyC@unaffiliated/sepulchralbloom)
2021-05-04 19:45:03 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-04 19:46:45 → minoru_shiraeesh joins (~shiraeesh@77.94.25.20)
2021-05-04 19:47:58 × __minoru__shirae quits (~shiraeesh@46.34.207.226) (Ping timeout: 252 seconds)
2021-05-04 19:49:01 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389)
2021-05-04 19:49:37 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-04 19:49:57 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-04 19:50:46 × JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds)
2021-05-04 19:55:03 × zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-04 19:55:23 → zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr)
2021-05-04 19:56:03 → safinaskar joins (~user@109.252.90.136)
2021-05-04 19:56:19 <safinaskar> i have tests in my program for doctest/quickcheck
2021-05-04 19:56:28 <safinaskar> similar to this:
2021-05-04 19:56:38 <safinaskar> -- prop> 2 + a = a + 2
2021-05-04 19:56:44 <safinaskar> -- prop> 2 + a == a + 2
2021-05-04 19:57:12 <safinaskar> i run "doctest a.hs" and it works. how to erlarge number of quickcheck passes?
2021-05-04 19:58:34 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-04 19:58:34 → DavidEichmann joins (~david@156.59.147.147.dyn.plus.net)
2021-05-04 19:58:39 → jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-04 19:58:44 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-04 19:59:03 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-04 20:01:12 × jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit)
2021-05-04 20:02:19 → stree joins (~stree@68.36.8.116)
2021-05-04 20:02:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-04 20:02:34 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-04 20:02:50 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-05-04 20:04:52 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-05-04 20:06:57 × nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds)
2021-05-04 20:07:26 → petersen joins (~petersen@redhat/juhp)
2021-05-04 20:07:41 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-04 20:10:14 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-04 20:11:29 <davve_> &40
2021-05-04 20:15:53 × hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 265 seconds)
2021-05-04 20:15:55 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-04 20:17:21 → motersen joins (~motersen@gateway/tor-sasl/motersen)
2021-05-04 20:17:34 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-04 20:18:02 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-04 20:18:10 × cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving)
2021-05-04 20:18:14 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-04 20:18:27 × OldMiner quits (~OldMiner@185.169.233.12) (Remote host closed the connection)
2021-05-04 20:20:32 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-04 20:21:05 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-04 20:22:26 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-04 20:22:44 → zpao joins (~zpao@185.163.110.100)
2021-05-04 20:23:43 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-04 20:25:02 × chisui quits (588239b3@mue-88-130-57-179.dsl.tropolys.de) (Quit: Connection closed)
2021-05-04 20:25:53 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-04 20:27:35 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-04 20:27:37 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-04 20:30:32 ← Arthur__ parts (~arthur@177.138.134.80) ()
2021-05-04 20:31:25 ← safinaskar parts (~user@109.252.90.136) ()
2021-05-04 20:34:09 → jgt_ joins (~jgt@87.227.221.129)
2021-05-04 20:36:45 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:93ad:6112:53d2:cb65) (Ping timeout: 246 seconds)
2021-05-04 20:36:58 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-04 20:38:29 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-04 20:39:43 → acidjnk_new2 joins (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de)
2021-05-04 20:41:01 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-04 20:41:01 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-05-04 20:41:39 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-04 20:41:57 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-04 20:42:16 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-04 20:42:38 → hiptobecubic joins (~john@unaffiliated/hiptobecubic)
2021-05-04 20:44:11 → safinaskar joins (~user@109.252.90.136)
2021-05-04 20:44:18 <safinaskar> % length []
←Prev  Next→
Page 1 .. 4735 4736 4737 4738 4739 4740 4741 4742 4743 4744 4745 .. 5022

All times are in UTC.