Logs: freenode/#haskell

←Prev Next→

Page 1 .. 457 458 459 460 461 462 463 464 465 466 467 .. 5022

— 502,152 events total

2020-10-06 09:36:23	×	seanvert quits (~user@177.84.244.242) (Read error: Connection reset by peer)
2020-10-06 09:40:14	→	thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-06 09:41:25	×	nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 240 seconds)
2020-10-06 09:44:10	→	nyd joins (~nyd@unaffiliated/elysian)
2020-10-06 09:44:25	×	thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-06 09:45:00	<tomsmeding>	putting 'T a' as an extra type argument to C works very well :)
2020-10-06 09:47:43	→	kuribas joins (~user@ptr-25vy0i9yx55ffflw5e3.18120a2.ip6.access.telenet.be)
2020-10-06 09:51:11	<tomsmeding>	and the fundep is indeed necessary
2020-10-06 09:51:55	×	Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2020-10-06 09:51:59	→	yoeljacobsen joins (~yoel.jaco@5.28.167.89)
2020-10-06 09:52:02	→	Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-06 09:53:16	Lord_of_Life_	is now known as Lord_of_Life
2020-10-06 09:55:05	→	Implant1 joins (~Implant@178.162.212.214)
2020-10-06 09:56:37	×	aurieeeh quits (~aurieh@static.91.102.243.136.clients.your-server.de) (Ping timeout: 260 seconds)
2020-10-06 09:57:01	×	ArsenArsen quits (~Arsen@kshare/developer/ArsenArsen) (Ping timeout: 265 seconds)
2020-10-06 09:58:29	×	auri_ quits (~auri_@fsf/memeber/auri-) (Ping timeout: 272 seconds)
2020-10-06 09:59:13	×	GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-06 09:59:15	→	gekh joins (~gkh@thor.kevinhill.nl)
2020-10-06 09:59:23	→	GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-06 09:59:23	×	GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-06 09:59:23	→	GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-06 10:00:31	→	Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-06 10:01:39	×	petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2020-10-06 10:01:49	<kuribas>	is there a typeclass to say, type "a" is a record with field "f"?
2020-10-06 10:02:02	→	ArsenArsen joins (~Arsen@kshare/developer/ArsenArsen)
2020-10-06 10:02:30	→	auri_ joins (~auri_@fsf/memeber/auri-)
2020-10-06 10:02:54	→	aurieeeh joins (~aurieh@static.91.102.243.136.clients.your-server.de)
2020-10-06 10:03:40	→	todda7 joins (~torstein@2a02:587:d32:8d00:e12b:ad32:29e:9021)
2020-10-06 10:07:22	<jiribenes>	kuribas: There's a 'HasField' typeclass in GHC https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.14.0.0/GHC-Records.html
2020-10-06 10:07:23	×	fendor_ quits (~fendor@212095005149.public.telering.at) (Read error: Connection reset by peer)
2020-10-06 10:07:23	×	xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-06 10:07:47	<kuribas>	jiribenes: right, thanks!
2020-10-06 10:09:04	→	fendor_ joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-06 10:09:37	×	coot quits (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-06 10:09:57	→	polyrain joins (~polyrain@130.102.13.170)
2020-10-06 10:10:05	×	polyrain quits (~polyrain@130.102.13.170) (Client Quit)
2020-10-06 10:13:25	×	olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-06 10:14:40	→	zariuq joins (~zar@fw4.ciirc.cvut.cz)
2020-10-06 10:15:25	×	GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-06 10:15:27	→	GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-06 10:15:27	×	GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-06 10:15:27	→	GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-06 10:15:56	×	plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-06 10:17:36	×	zargoertzel quits (~zar@fw5.ciirc.cvut.cz) (Ping timeout: 272 seconds)
2020-10-06 10:18:04	→	akegalj joins (~akegalj@93-138-123-17.adsl.net.t-com.hr)
2020-10-06 10:19:58	→	heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-06 10:21:37	→	ralejs joins (~ralejs@2620:10d:c093:400::5:2842)
2020-10-06 10:21:37	×	ralejs_ quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer)
2020-10-06 10:24:49	×	heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-06 10:25:46	×	todda7 quits (~torstein@2a02:587:d32:8d00:e12b:ad32:29e:9021) (Quit: Konversation terminated!)
2020-10-06 10:25:58	→	todda7 joins (~torstein@athedsl-217541.home.otenet.gr)
2020-10-06 10:26:26	→	olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-06 10:27:13	→	notzmv joins (~user@unaffiliated/zmv)
2020-10-06 10:27:33	→	phaul joins (~phaul@ruby/staff/phaul)
2020-10-06 10:30:10	×	jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 246 seconds)
2020-10-06 10:32:17	→	aarvar joins (~foewfoiew@50.35.43.33)
2020-10-06 10:33:13	×	hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-szzrzvhizldgudqq) (.net .split)
2020-10-06 10:33:13	×	ralejs quits (~ralejs@2620:10d:c093:400::5:2842) (.net .split)
2020-10-06 10:33:13	×	GyroW_ quits (~GyroW@unaffiliated/gyrow) (.net .split)
2020-10-06 10:33:13	×	sphalerite quits (~sphalerit@NixOS/user/lheckemann) (.net .split)
2020-10-06 10:33:13	×	pasukon quits (sid49097@gateway/web/irccloud.com/x-zvjflytzjcvxxkxp) (.net .split)
2020-10-06 10:33:13	×	lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-tjxetnhmsaedwtsv) (.net .split)
2020-10-06 10:33:13	×	mudri quits (sid317655@gateway/web/irccloud.com/x-ewrkkkqbsfrqlwpo) (.net .split)
2020-10-06 10:33:13	×	rodlogic__ quits (sid214676@gateway/web/irccloud.com/x-mpkvpqnfqcxewmmv) (.net .split)
2020-10-06 10:33:14	×	rawles quits (~r@unaffiliated/rawles) (.net .split)
2020-10-06 10:33:14	×	kori quits (~kori@arrowheads/kori) (.net .split)
2020-10-06 10:33:14	×	xff0x quits (~fox@2001:1a81:5339:8000:bdc7:ef33:4985:5e4f) (.net .split)
2020-10-06 10:33:14	×	berberman quits (~berberman@2408:8207:2563:5ae0:584e:a9ff:fe9b:d3fe) (.net .split)
2020-10-06 10:33:14	×	ghuntley quits (sid16877@gateway/web/irccloud.com/x-hazckpioupzucowz) (.net .split)
2020-10-06 10:33:14	×	carter quits (sid14827@gateway/web/irccloud.com/x-sizpssbboxwjlzfn) (.net .split)
2020-10-06 10:33:14	×	elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (.net .split)
2020-10-06 10:33:14	×	conjunctive quits (sid433686@gateway/web/irccloud.com/x-svszloomofjzwqrv) (.net .split)
2020-10-06 10:33:14	×	adius quits (sid321344@gateway/web/irccloud.com/x-fevubjfnjnczxgiy) (.net .split)
2020-10-06 10:33:14	×	tchar quits (sid301738@gateway/web/irccloud.com/x-rgpmjtqqbhrmcohe) (.net .split)
2020-10-06 10:33:14	×	liszt_ quits (sid336875@gateway/web/irccloud.com/x-uuxepiucxpvvjuow) (.net .split)
2020-10-06 10:33:14	×	Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-tddshmiwufwouryw) (.net .split)
2020-10-06 10:33:14	×	iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-vozqawbtzhuizygn) (.net .split)
2020-10-06 10:33:14	×	_flow_ quits (~none@salem.informatik.uni-erlangen.de) (.net .split)
2020-10-06 10:33:14	×	jokester_ quits (~mono@2001:19f0:5:1e1d:5400:1ff:fe45:5877) (.net .split)
2020-10-06 10:33:14	×	recon_- quits (~quassel@2602:febc:0:b6::6ca2) (.net .split)
2020-10-06 10:33:14	×	noCheese quits (~nocheese@unaffiliated/nocheese) (.net .split)
2020-10-06 10:33:14	×	angerman quits (sid209936@gateway/web/irccloud.com/x-oahfetnahbdvwgfo) (.net .split)
2020-10-06 10:33:14	×	verlet64_ quits (sid261276@gateway/web/irccloud.com/x-xjfovybibszlojpl) (.net .split)
2020-10-06 10:33:14	×	nick_h quits (sid319833@gateway/web/irccloud.com/x-omwgtsberokhnnup) (.net .split)
2020-10-06 10:33:14	×	joeyh_ quits (joeyh@kitenet.net) (.net .split)
2020-10-06 10:33:14	×	bitmapper quits (uid464869@gateway/web/irccloud.com/x-tfzdjxpokcsicuwj) (.net .split)
2020-10-06 10:33:14	×	balbirs quits (~balbirs__@bilbo.ozlabs.org) (.net .split)
2020-10-06 10:33:14	×	topos quits (uid467876@gateway/web/irccloud.com/x-twpqbqvekrcsozee) (.net .split)
2020-10-06 10:33:14	×	polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (.net .split)
2020-10-06 10:33:14	×	parisienne quits (sid383587@gateway/web/irccloud.com/x-wkbgoesgrpfdelps) (.net .split)
2020-10-06 10:33:14	×	strugglingming quits (sid10571@gateway/web/irccloud.com/x-pwoyzccowxbiqivf) (.net .split)
2020-10-06 10:33:14	×	stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (.net .split)
2020-10-06 10:33:14	×	seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (.net .split)
2020-10-06 10:33:14	×	dcoutts quits (~duncan@unaffiliated/dcoutts) (.net .split)
2020-10-06 10:33:14	×	thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (.net .split)
2020-10-06 10:33:14	×	liff quits (liff@kapsi.fi) (.net .split)
2020-10-06 10:33:14	×	PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) (.net .split)
2020-10-06 10:33:14	×	dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (.net .split)
2020-10-06 10:33:14	×	miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (.net .split)
2020-10-06 10:33:14	×	ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-mopjnwlxyxbzydyc) (.net .split)

←Prev Next→

Page 1 .. 457 458 459 460 461 462 463 464 465 466 467 .. 5022

All times are in UTC.