Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 .. 5022
— 502,152 events total
2021-03-03 21:07:17 <Guest_88>     where x = (a-10)*0.3
2021-03-03 21:07:55 <Guest_88> which works out taxi fares. But I get an error saying non exhaustive patterns when I enter above 10
2021-03-03 21:08:27 <Guest_88> im also trying to get it to work by entering and integer and using from integral
2021-03-03 21:08:29 <int-e> Guest_88: presumably you want a>10 instead of a<10
2021-03-03 21:08:52 <Guest_88> oh yeah!
2021-03-03 21:09:24 <int-e> or use the idiomatic | otherwise
2021-03-03 21:09:30 <int-e> @src otherwise
2021-03-03 21:09:31 <lambdabot> otherwise = True
2021-03-03 21:10:13 <Guest_88> got it, thanks
2021-03-03 21:11:25 → son0p joins (~son0p@181.58.39.182)
2021-03-03 21:12:00 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-03-03 21:12:12 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-03 21:12:25 → Gunni1 joins (~Gunni@139.28.218.148)
2021-03-03 21:12:58 × apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds)
2021-03-03 21:15:04 → mirrorbird joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-03 21:16:03 × Tesseraction_k quits (~Tesseract@unaffiliated/tesseraction) (Read error: Connection reset by peer)
2021-03-03 21:16:32 → Tesseraction joins (~Tesseract@unaffiliated/tesseraction)
2021-03-03 21:16:38 → fendor_ joins (~fendor@77.119.128.81.wireless.dyn.drei.com)
2021-03-03 21:17:19 × Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 260 seconds)
2021-03-03 21:18:12 → nullniverse joins (~null@unaffiliated/nullniverse)
2021-03-03 21:18:19 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 276 seconds)
2021-03-03 21:19:03 → romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-03 21:19:04 × fendor quits (~fendor@91.141.0.81.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-03-03 21:20:21 × knupfer quits (~Thunderbi@i5E86B4BE.versanet.de) (Ping timeout: 264 seconds)
2021-03-03 21:20:50 × chenshen quits (~chenshen@2620:10d:c090:400::5:9f47) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-03 21:20:53 → xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-03-03 21:21:59 → chenshen joins (~chenshen@2620:10d:c090:400::5:9f47)
2021-03-03 21:22:23 × Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 256 seconds)
2021-03-03 21:24:12 × Marissa quits (Marissa@33.anserq.com) (Remote host closed the connection)
2021-03-03 21:24:22 × Guest_88 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-03 21:25:11 × thunderrd quits (~thunderrd@183.182.112.145) (*.net *.split)
2021-03-03 21:26:44 → thunderrd joins (~thunderrd@183.182.112.145)
2021-03-03 21:27:41 → apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-03 21:30:33 × mirrorbird quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds)
2021-03-03 21:32:37 × cods quits (~fred@unaffiliated/cods) (Ping timeout: 276 seconds)
2021-03-03 21:33:15 → cods joins (~fred@82-65-232-44.subs.proxad.net)
2021-03-03 21:33:37 × DataComputist quits (~lumeng@50.43.26.251) (*.net *.split)
2021-03-03 21:33:38 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (*.net *.split)
2021-03-03 21:33:38 × averell quits (~averell@unaffiliated/averell) (*.net *.split)
2021-03-03 21:33:38 × TMA quits (tma@twin.jikos.cz) (*.net *.split)
2021-03-03 21:33:38 × Sparad0x quits (~etienne@ns3123347.ip-51-68-152.eu) (*.net *.split)
2021-03-03 21:33:38 × dorkside quits (~tdbgamer@208.190.197.222) (*.net *.split)
2021-03-03 21:33:38 × maerwald quits (~maerwald@mail.hasufell.de) (*.net *.split)
2021-03-03 21:33:38 × LittleFox quits (~littlefox@rondra.lf-net.org) (*.net *.split)
2021-03-03 21:33:38 × arw quits (~arw@impulse.informatik.uni-erlangen.de) (*.net *.split)
2021-03-03 21:33:38 × marek quits (~mmahut@fedora/pyxel) (*.net *.split)
2021-03-03 21:33:38 × jtcs quits (~jtcs@vmi359854.contaboserver.net) (*.net *.split)
2021-03-03 21:33:38 × hodapp quits (~hodapp@react-ams-119225.antiddos.solutions) (*.net *.split)
2021-03-03 21:33:38 × jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (*.net *.split)
2021-03-03 21:33:38 × int-e quits (~noone@int-e.eu) (*.net *.split)
2021-03-03 21:33:38 × chrisosa1rus quits (chris@segfault.net.nz) (*.net *.split)
2021-03-03 21:33:38 × brettgilio_ quits (~brettgili@brettgilio.com) (*.net *.split)
2021-03-03 21:33:38 × aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2021-03-03 21:33:38 × fiddlerwoaroof quits (~fiddlerwo@unaffiliated/fiddlerwoaroof) (*.net *.split)
2021-03-03 21:33:38 × Someguy123 quits (~someguy@unaffiliated/compgenius999) (*.net *.split)
2021-03-03 21:33:38 × ahri quits (~ahri@178.209.40.84) (*.net *.split)
2021-03-03 21:33:38 × leothrix quits (~leothrix@elastic/staff/leothrix) (*.net *.split)
2021-03-03 21:33:38 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (*.net *.split)
2021-03-03 21:33:38 × dddddd quits (~dddddd@unaffiliated/dddddd) (*.net *.split)
2021-03-03 21:33:38 × stux|RC-only quits (stux2@grid9.quadspeedi.net) (*.net *.split)
2021-03-03 21:33:38 × landonf quits (landonf@mac68k.info) (*.net *.split)
2021-03-03 21:33:38 × absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2021-03-03 21:33:38 × m1dnight_ quits (~m1dnight@188.ip-51-91-158.eu) (*.net *.split)
2021-03-03 21:33:38 × alinab quits (sid468903@gateway/web/irccloud.com/x-pnysahqquupbvvmz) (*.net *.split)
2021-03-03 21:33:38 × xintron quits (~xintron@unaffiliated/xintron) (*.net *.split)
2021-03-03 21:33:38 × lightandlight quits (sid135476@gateway/web/irccloud.com/x-mibnuuqzjpebbkzx) (*.net *.split)
2021-03-03 21:33:38 × Dykam quits (Dykam@dykam.nl) (*.net *.split)
2021-03-03 21:33:38 × M2tias quits (m2@seri.fi) (*.net *.split)
2021-03-03 21:33:38 × bcoppens quits (~bartcopp@kde/coppens) (*.net *.split)
2021-03-03 21:33:38 × Inoperable quits (~PLAYER_1@fancydata.science) (*.net *.split)
2021-03-03 21:33:38 × {abby} quits (~{abby}@unaffiliated/demhydraz) (*.net *.split)
2021-03-03 21:33:38 × connrs_ quits (~connrs@runciter.connrs.uk) (*.net *.split)
2021-03-03 21:33:38 × travv0 quits (sid293381@gateway/web/irccloud.com/x-qfqftjhlfdqcrtoj) (*.net *.split)
2021-03-03 21:33:38 × sea-gull quits (~sea-gull@li1815-136.members.linode.com) (*.net *.split)
2021-03-03 21:33:38 × uberj quits (~uberj@unaffiliated/uberj) (*.net *.split)
2021-03-03 21:33:38 × tristanC quits (~tristanC@unaffiliated/tristanc) (*.net *.split)
2021-03-03 21:33:38 × adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-03-03 21:33:38 × leafiest quits (~leafiest@165.227.53.12) (*.net *.split)
2021-03-03 21:33:38 × hwabyong quits (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (*.net *.split)
2021-03-03 21:33:38 × eldritch quits (~eldritch@unaffiliated/eldritch) (*.net *.split)
2021-03-03 21:33:38 × sarahzrf quits (~sarahzrf_@sarahzrf.com) (*.net *.split)
2021-03-03 21:33:38 × crtschin quits (~crtschin@104.131.9.149) (*.net *.split)
2021-03-03 21:33:38 × tstat quits (~tstat@104.131.113.212) (*.net *.split)
2021-03-03 21:33:38 × dilinger quits (~dilinger@spindle.queued.net) (*.net *.split)
2021-03-03 21:33:38 × gekh quits (~gkh@thor.kevinhill.nl) (*.net *.split)
2021-03-03 21:33:38 × a3Dman quits (~3Dman@unaffiliated/a3dman) (*.net *.split)
2021-03-03 21:33:38 × sdx23 quits (~sdx23@unaffiliated/sdx23) (*.net *.split)
2021-03-03 21:33:38 × [exa] quits (exa@unaffiliated/exa/x-5381537) (*.net *.split)
2021-03-03 21:33:38 × blackdog quits (~blackdog@198.211.112.85) (*.net *.split)
2021-03-03 21:33:38 × statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
2021-03-03 21:33:38 × iptq quits (~michael@142.93.75.170) (*.net *.split)
2021-03-03 21:33:38 × joeytwiddle quits (~joeytwidd@162.243.115.31) (*.net *.split)
2021-03-03 21:33:38 × mantovani quits (~mantovani@104.131.207.121) (*.net *.split)
2021-03-03 21:33:38 × xe4 quits (~xe4@157.245.246.119) (*.net *.split)
2021-03-03 21:33:38 × Uniaika quits (~uniaika@163.172.211.189) (*.net *.split)
2021-03-03 21:33:38 × asm89 quits (~asm89@unaffiliated/asm89) (*.net *.split)
2021-03-03 21:33:38 × amosbird quits (~amosbird@13.75.119.182) (*.net *.split)
2021-03-03 21:33:38 × xarian_ quits (~xarian@104.236.81.162) (*.net *.split)
2021-03-03 21:33:38 × mjrosenb quits (~mrosenbe@nyc.schrodinger.com) (*.net *.split)
2021-03-03 21:33:38 × adaj quits (~azureuser@51.103.155.240) (*.net *.split)
←Prev  Next→
Page 1 .. 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 .. 5022

All times are in UTC.