Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 466 467 468 469 470 471 472 473 474 475 476 .. 18002
— 1,800,108 events total
2021-06-15 00:44:26 → lavaman joins (~lavaman@98.38.249.169)
2021-06-15 00:44:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-15 00:44:44 <davean> janus: you coulse use an empty case
2021-06-15 00:45:03 <davean> f x = case x of { }
2021-06-15 00:45:32 <janus> % f :: forall a. Void -> a; f x = case x of {}
2021-06-15 00:45:32 <yahb> janus:
2021-06-15 00:45:42 <janus> all right! wow, didn't think of that
2021-06-15 00:45:45 <janus> thanks
2021-06-15 00:47:43 <janus> % :set -XLambdaCase
2021-06-15 00:47:43 <yahb> janus:
2021-06-15 00:48:05 <janus> % g :: forall a. Void -> a; g = \case
2021-06-15 00:48:05 <yahb> janus:
2021-06-15 00:48:26 <janus> oooh yahb you crack me up :D
2021-06-15 00:48:45 <davean> janus: Yes, thats how people ACTUALLY do it in practice, but I wanted to be more illistrative
2021-06-15 00:49:01 <monochrom> SomeClass is a really nonsensical class, even though it's legal.
2021-06-15 00:49:10 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-15 00:52:48 → beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-15 00:53:01 → yd502 joins (~yd502@180.168.212.6)
2021-06-15 00:57:32 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Remote host closed the connection)
2021-06-15 00:58:52 → fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26)
2021-06-15 01:00:18 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 272 seconds)
2021-06-15 01:03:18 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 264 seconds)
2021-06-15 01:03:37 → Erutuon joins (~Erutuon@user/erutuon)
2021-06-15 01:05:58 × xff0x quits (~xff0x@2001:1a81:5224:8900:b094:cc23:ed27:1430) (Ping timeout: 244 seconds)
2021-06-15 01:07:43 → xff0x joins (~xff0x@2001:1a81:5237:f100:deef:ffe4:1734:e0a)
2021-06-15 01:08:14 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2021-06-15 01:10:32 × guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection)
2021-06-15 01:10:46 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-15 01:10:52 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-15 01:11:39 → guest61 joins (~xxx@47.245.54.240)
2021-06-15 01:11:52 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-15 01:12:38 → dmang joins (~dmang@047-032-148-170.res.spectrum.com)
2021-06-15 01:14:26 × pragma- quits (~chaos@user/pragmatic-chaos) (Quit: Bye!)
2021-06-15 01:15:25 → ddellacosta joins (~ddellacos@86.106.143.216)
2021-06-15 01:16:45 → pragma- joins (~chaos@user/pragmatic-chaos)
2021-06-15 01:20:11 × ddellacosta quits (~ddellacos@86.106.143.216) (Ping timeout: 272 seconds)
2021-06-15 01:21:12 × hemlock quits (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) (Ping timeout: 272 seconds)
2021-06-15 01:22:32 → hemlock joins (~hemlock@ip72-210-100-243.tu.ok.cox.net)
2021-06-15 01:22:43 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-15 01:22:44 → sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-15 01:25:40 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533)
2021-06-15 01:26:50 × hemlock quits (~hemlock@ip72-210-100-243.tu.ok.cox.net) (Ping timeout: 244 seconds)
2021-06-15 01:27:00 → hemlock joins (~hemlock@ip72-210-100-243.tu.ok.cox.net)
2021-06-15 01:39:56 → berberman joins (~berberman@user/berberman)
2021-06-15 01:41:20 → yd502 joins (~yd502@180.168.212.6)
2021-06-15 01:41:31 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-15 01:41:35 → dy` joins (~dy@user/dy)
2021-06-15 01:43:25 × dy quits (~dy@user/dy) (Ping timeout: 272 seconds)
2021-06-15 01:43:30 → mpt joins (~tom@2a02:908:1862:49e0::5)
2021-06-15 01:45:05 × dy` quits (~dy@user/dy) (Client Quit)
2021-06-15 01:45:30 → dy joins (~dy@user/dy)
2021-06-15 01:47:09 → wei2912 joins (~wei2912@112.199.250.21)
2021-06-15 01:52:55 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-15 01:57:36 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-15 02:00:56 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-15 02:01:58 × xff0x quits (~xff0x@2001:1a81:5237:f100:deef:ffe4:1734:e0a) (Ping timeout: 244 seconds)
2021-06-15 02:03:56 → xff0x joins (~xff0x@2001:1a81:523f:a800:4cc0:9163:93f1:ee4a)
2021-06-15 02:05:04 × hemlock quits (~hemlock@ip72-210-100-243.tu.ok.cox.net) (Ping timeout: 244 seconds)
2021-06-15 02:05:13 → hemlock joins (~hemlock@2607:fb90:9716:c40c:8c30:5990:86f0:4ce1)
2021-06-15 02:05:39 → fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26)
2021-06-15 02:05:59 × td_ quits (~td@muedsl-82-207-238-233.citykom.de) (Ping timeout: 252 seconds)
2021-06-15 02:07:41 → td_ joins (~td@muedsl-82-207-238-227.citykom.de)
2021-06-15 02:10:02 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 244 seconds)
2021-06-15 02:11:16 × Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
2021-06-15 02:12:22 → killsushi joins (~killsushi@user/killsushi)
2021-06-15 02:12:30 × hemlock quits (~hemlock@2607:fb90:9716:c40c:8c30:5990:86f0:4ce1) (Ping timeout: 272 seconds)
2021-06-15 02:13:11 <DigitalKiwi> billionaires that have no income
2021-06-15 02:14:13 → hemlock joins (~hemlock@ip72-203-188-10.tu.ok.cox.net)
2021-06-15 02:15:26 → pottsy joins (~pottsy@2400:4050:b560:3700:df80:6e56:2853:b1e8)
2021-06-15 02:16:16 <monochrom> :)
2021-06-15 02:18:51 → rk04 joins (~rk04@user/rajk)
2021-06-15 02:24:16 → beka joins (~beka@104-244-27-23.static.monkeybrains.net)
2021-06-15 02:30:11 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-15 02:30:11 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (tantalum.libera.chat (Nickname regained by services)))
2021-06-15 02:30:11 finn_elija is now known as FinnElija
2021-06-15 02:30:24 → ddellacosta joins (~ddellacos@89.46.62.177)
2021-06-15 02:31:30 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds)
2021-06-15 02:34:50 × ddellacosta quits (~ddellacos@89.46.62.177) (Ping timeout: 244 seconds)
2021-06-15 02:39:02 mniip_ is now known as mniip
2021-06-15 02:40:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-15 02:41:29 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-15 02:45:03 × mpt quits (~tom@2a02:908:1862:49e0::5) (Ping timeout: 272 seconds)
2021-06-15 02:50:23 → khumba joins (~khumba@user/khumba)
2021-06-15 02:53:06 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds)
2021-06-15 02:57:31 → yd502 joins (~yd502@180.168.212.6)
2021-06-15 03:00:42 → bitmapper joins (uid464869@id-464869.tooting.irccloud.com)
2021-06-15 03:04:26 × td_ quits (~td@muedsl-82-207-238-227.citykom.de) (Ping timeout: 272 seconds)
2021-06-15 03:05:44 → td_ joins (~td@muedsl-82-207-238-208.citykom.de)
2021-06-15 03:10:32 × alx741 quits (~alx741@186.178.108.66) (Quit: alx741)
2021-06-15 03:11:20 → ddellacosta joins (~ddellacos@89.45.224.203)
2021-06-15 03:14:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-15 03:15:32 × hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-15 03:15:38 <guest61> do you want #TaxTheRich?
2021-06-15 03:16:28 × ddellacosta quits (~ddellacos@89.45.224.203) (Ping timeout: 272 seconds)
2021-06-15 03:16:56 → P1RATEZ joins (piratez@user/p1ratez)
2021-06-15 03:17:03 × polyphem quits (~polyphem@2a02:810d:640:776c:12c4:e67d:3560:5ad7) (Quit: polyphem)
2021-06-15 03:17:06 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 272 seconds)
2021-06-15 03:17:47 <guest61> lin littleme 我打包出termux上proot-distro里跑的ghc.deb了,你要吗?
2021-06-15 03:18:14 <monochrom> Wrong window?
2021-06-15 03:18:54 <guest61> sorry
←Prev  Next→
Page 1 .. 466 467 468 469 470 471 472 473 474 475 476 .. 18002

All times are in UTC.