Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 .. 18041
— 1,804,076 events total
2021-08-15 01:52:46 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-15 01:52:49 → xff0x joins (~xff0x@2001:1a81:52ed:2b00:c854:bd3b:6fb8:2f1e)
2021-08-15 01:53:02 <koz> What's a good ASCII approximation of the Unicode DOT MINUS, that would be suitable as an infix operator name?
2021-08-15 01:55:08 <monochrom> Is that U+2238?
2021-08-15 01:55:18 <koz> monochrom: Yes.
2021-08-15 01:55:44 <monochrom> I might consider ^- and -^
2021-08-15 01:56:03 <monochrom> and *- , -*
2021-08-15 01:56:12 <koz> ^- is my choice because it looks like a cat ear.
2021-08-15 01:56:14 <koz> Thanks!
2021-08-15 01:56:23 <monochrom> ^-^
2021-08-15 01:57:13 <koz> Also, what's the fixity and association of - ?
2021-08-15 01:57:19 <koz> (if anyone knows offhand)
2021-08-15 01:59:45 <monochrom> infixl 6
2021-08-15 02:00:00 <monochrom> You can find out from ghci (and so yahb) by: :info -
2021-08-15 02:00:13 <koz> Ah, interesting. TIL.
2021-08-15 02:00:46 <monochrom> If :info doesn't tell, then it's using the default, so you have to memorize the default from the Haskell Report.
2021-08-15 02:00:58 → fvr joins (uid503686@id-503686.highgate.irccloud.com)
2021-08-15 02:01:20 <monochrom> the default is infixl 9
2021-08-15 02:15:40 × td_ quits (~td@94.134.91.195) (Ping timeout: 272 seconds)
2021-08-15 02:15:55 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-08-15 02:16:18 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds)
2021-08-15 02:17:02 → td_ joins (~td@94.134.91.196)
2021-08-15 02:21:38 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-15 02:21:57 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-15 02:24:28 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-08-15 02:24:28 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (platinum.libera.chat (Nickname regained by services)))
2021-08-15 02:24:28 finn_elija is now known as FinnElija
2021-08-15 02:33:17 → SincereFox joins (uid337158@user/sincerefox)
2021-08-15 02:33:53 ← SincereFox parts (uid337158@user/sincerefox) ()
2021-08-15 02:39:46 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-08-15 02:41:48 × mei quits (~mei@user/mei) (Ping timeout: 258 seconds)
2021-08-15 02:52:46 × alx741 quits (~alx741@186.178.108.32) (Quit: alx741)
2021-08-15 03:09:14 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 03:14:27 → Codaraxis_ joins (~Codaraxis@user/codaraxis)
2021-08-15 03:15:12 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-15 03:19:00 × Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2021-08-15 03:24:38 → pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-15 03:27:30 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 03:28:01 × pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-15 03:32:28 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-15 03:45:09 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 03:47:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-15 03:50:22 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-15 03:51:56 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-08-15 04:03:26 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 04:08:01 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-15 04:19:56 × dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-08-15 04:20:45 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 04:21:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-15 04:23:39 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-08-15 04:25:42 AndrewYu is now known as liberacom
2021-08-15 04:25:49 liberacom is now known as AndrewYu
2021-08-15 04:26:09 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-15 04:29:13 → dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-08-15 04:29:53 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-15 04:33:37 × jespada quits (~jespada@90.254.247.46) (Ping timeout: 248 seconds)
2021-08-15 04:35:29 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-08-15 04:36:36 → jespada joins (~jespada@90.254.247.46)
2021-08-15 04:51:09 × haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-15 04:51:23 → haykam joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-15 04:56:37 → indiana-bones joins (~indignant@94.140.8.98)
2021-08-15 05:05:44 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-15 05:10:25 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-15 05:23:28 × jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 268 seconds)
2021-08-15 05:24:29 → pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-15 05:28:01 × pfurla_ quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-15 05:43:33 × notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer)
2021-08-15 05:44:41 × Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-08-15 05:44:59 × haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-15 05:45:13 → haykam joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-15 05:45:47 → dcompoze joins (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net)
2021-08-15 05:46:32 → MidAutumnMoon joins (~MidAutumn@user/midautumnmoon)
2021-08-15 05:46:59 → mei joins (~mei@user/mei)
2021-08-15 05:47:12 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-08-15 05:47:43 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 258 seconds)
2021-08-15 05:55:18 → notzmv joins (~zmv@user/notzmv)
2021-08-15 05:57:01 → burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk)
2021-08-15 06:02:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-15 06:03:09 → ikex1 joins (~ash@user/ikex)
2021-08-15 06:04:49 × ikex quits (~ash@user/ikex) (Ping timeout: 248 seconds)
2021-08-15 06:04:49 ikex1 is now known as ikex
2021-08-15 06:07:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-08-15 06:13:42 → haowenl joins (~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-15 06:17:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-15 06:26:07 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-15 06:26:25 → img joins (~img@user/img)
2021-08-15 06:30:21 × burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-15 06:30:38 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-08-15 06:30:52 → burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk)
2021-08-15 06:31:02 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2021-08-15 06:31:52 Lord_of_Life_ is now known as Lord_of_Life
2021-08-15 06:34:18 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-15 06:35:13 × burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-15 06:36:57 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2021-08-15 06:38:41 → zaquest joins (~notzaques@5.128.210.178)
2021-08-15 06:39:58 × Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-08-15 06:40:21 → Xnuk joins (~xnuk@vultr.xnu.kr)
2021-08-15 06:43:46 × haowenl quits (~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl)
2021-08-15 06:45:38 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-15 06:47:03 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
←Prev  Next→
Page 1 .. 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 .. 18041

All times are in UTC.