Logs: freenode/#haskell

←Prev Next→

Page 1 .. 571 572 573 574 575 576 577 578 579 580 581 .. 5022

— 502,152 events total

2020-10-11 14:32:05	×	tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) ()
2020-10-11 14:33:05	→	Noldorin joins (~noldorin@unaffiliated/noldorin)
2020-10-11 14:33:31	→	caef^ joins (caef@ip98-184-89-2.mc.at.cox.net)
2020-10-11 14:33:48	<tomjaguarpaw>	Hmm, careful. The correct parenthesisation is ((λx.x)(λy.y))z. As I understood it your question was about that.
2020-10-11 14:35:22	→	thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-11 14:35:34	<dwts>	tomjaguarpaw: hmm okay
2020-10-11 14:35:41	<dwts>	yeah, my question was about that
2020-10-11 14:35:58	<dwts>	trying to figure out how to "read" this expressions properly
2020-10-11 14:36:47	×	jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-11 14:36:56	×	rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-oghntmrrwnjpmjbo) (.net .split)
2020-10-11 14:36:56	×	kadoban quits (kadobanmat@gateway/shell/matrix.org/x-vbpdmawecokvypon) (.net .split)
2020-10-11 14:36:56	×	jlv quits (jlvjustinl@gateway/shell/matrix.org/x-bxnvhwbzqxqophdz) (.net .split)
2020-10-11 14:36:56	×	io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-xajpenbgtlsrahzn) (.net .split)
2020-10-11 14:36:56	×	alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-nwfftzrznvagqvns) (.net .split)
2020-10-11 14:36:56	×	iinuwa quits (iinuwamatr@gateway/shell/matrix.org/x-jxlnqrgayqijmilv) (.net .split)
2020-10-11 14:36:57	×	jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-hjhltkjttsndhhkz) (.net .split)
2020-10-11 14:36:57	×	siraben quits (sirabenmat@gateway/shell/matrix.org/x-pjuezldzdrfckkhi) (.net .split)
2020-10-11 14:36:57	×	jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-usgrtgvgawipzskz) (.net .split)
2020-10-11 14:36:57	×	ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-hrgahnccdejedpjj) (.net .split)
2020-10-11 14:37:02	<merijn>	Everything's left associative, so as tomjaguarpaw says "\y.y" is passed to "\x.x" and "z" is passed to the result of that
2020-10-11 14:37:18	→	rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-oghntmrrwnjpmjbo)
2020-10-11 14:37:18	→	kadoban joins (kadobanmat@gateway/shell/matrix.org/x-vbpdmawecokvypon)
2020-10-11 14:37:18	→	jlv joins (jlvjustinl@gateway/shell/matrix.org/x-bxnvhwbzqxqophdz)
2020-10-11 14:37:18	→	siraben joins (sirabenmat@gateway/shell/matrix.org/x-pjuezldzdrfckkhi)
2020-10-11 14:37:18	→	io_r_us[m] joins (commandlin@gateway/shell/matrix.org/x-xajpenbgtlsrahzn)
2020-10-11 14:37:18	→	iinuwa joins (iinuwamatr@gateway/shell/matrix.org/x-jxlnqrgayqijmilv)
2020-10-11 14:37:18	→	alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-nwfftzrznvagqvns)
2020-10-11 14:37:18	→	jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-hjhltkjttsndhhkz)
2020-10-11 14:37:18	→	jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-usgrtgvgawipzskz)
2020-10-11 14:37:51	<dwts>	yup, that makes sense now, the confusion comes from slightly more "complex" expressions but I'll get there I guess :)
2020-10-11 14:38:50	×	martin02 quits (silas@hund.fs.lmu.de) (.net .split)
2020-10-11 14:38:50	×	tttom[m] quits (tttommatri@gateway/shell/matrix.org/x-envhcytnrwvreghj) (.net .split)
2020-10-11 14:38:50	×	Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-hukludizhwnrxifz) (.net .split)
2020-10-11 14:38:50	×	gmind[m] quits (gmindmatri@gateway/shell/matrix.org/x-azjcyqgyoflizrpj) (.net .split)
2020-10-11 14:38:50	×	chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-kpqcqdtuspbqaepg) (.net .split)
2020-10-11 14:38:50	×	ethercrow[m] quits (ethercrowm@gateway/shell/matrix.org/x-zwklnxjxcmhjkoow) (.net .split)
2020-10-11 14:38:50	×	Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-ytyxcamjxrgxyfkl) (.net .split)
2020-10-11 14:38:50	×	unclechu quits (unclechuma@gateway/shell/matrix.org/x-smvlsqqmverjjhyj) (.net .split)
2020-10-11 14:38:50	×	lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-yolujewggzqqhajb) (.net .split)
2020-10-11 14:38:50	×	maralorn quits (maralornma@gateway/shell/matrix.org/x-awbsrvgnrvynarjf) (.net .split)
2020-10-11 14:38:50	×	johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-vahebxhkdkvauchy) (.net .split)
2020-10-11 14:38:50	×	drupol quits (sid117588@gateway/web/irccloud.com/x-botdgnvcemakmhms) (.net .split)
2020-10-11 14:38:50	×	hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-zvgetfbstubrdqzf) (.net .split)
2020-10-11 14:38:50	×	sphalerite quits (~sphalerit@NixOS/user/lheckemann) (.net .split)
2020-10-11 14:38:50	×	pasukon quits (sid49097@gateway/web/irccloud.com/x-zvjflytzjcvxxkxp) (.net .split)
2020-10-11 14:38:50	×	lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-tjxetnhmsaedwtsv) (.net .split)
2020-10-11 14:38:50	×	mudri quits (sid317655@gateway/web/irccloud.com/x-ewrkkkqbsfrqlwpo) (.net .split)
2020-10-11 14:38:50	×	rodlogic__ quits (sid214676@gateway/web/irccloud.com/x-mpkvpqnfqcxewmmv) (.net .split)
2020-10-11 14:38:50	×	rawles quits (~r@unaffiliated/rawles) (.net .split)
2020-10-11 14:38:50	×	ghuntley quits (sid16877@gateway/web/irccloud.com/x-hazckpioupzucowz) (.net .split)
2020-10-11 14:38:50	×	carter quits (sid14827@gateway/web/irccloud.com/x-sizpssbboxwjlzfn) (.net .split)
2020-10-11 14:38:50	×	elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (.net .split)
2020-10-11 14:38:50	×	conjunctive quits (sid433686@gateway/web/irccloud.com/x-svszloomofjzwqrv) (.net .split)
2020-10-11 14:38:50	×	adius quits (sid321344@gateway/web/irccloud.com/x-fevubjfnjnczxgiy) (.net .split)
2020-10-11 14:38:50	×	tchar quits (sid301738@gateway/web/irccloud.com/x-rgpmjtqqbhrmcohe) (.net .split)
2020-10-11 14:38:50	×	liszt_ quits (sid336875@gateway/web/irccloud.com/x-uuxepiucxpvvjuow) (.net .split)
2020-10-11 14:38:50	×	_flow_ quits (~none@salem.informatik.uni-erlangen.de) (.net .split)
2020-10-11 14:38:50	×	recon_- quits (~quassel@2602:febc:0:b6::6ca2) (.net .split)
2020-10-11 14:38:50	×	noCheese quits (~nocheese@unaffiliated/nocheese) (.net .split)
2020-10-11 14:38:50	×	angerman quits (sid209936@gateway/web/irccloud.com/x-oahfetnahbdvwgfo) (.net .split)
2020-10-11 14:38:50	×	verlet64_ quits (sid261276@gateway/web/irccloud.com/x-xjfovybibszlojpl) (.net .split)
2020-10-11 14:38:50	×	nick_h quits (sid319833@gateway/web/irccloud.com/x-omwgtsberokhnnup) (.net .split)
2020-10-11 14:38:50	×	joeyh_ quits (joeyh@kitenet.net) (.net .split)
2020-10-11 14:38:50	×	topos quits (uid467876@gateway/web/irccloud.com/x-twpqbqvekrcsozee) (.net .split)
2020-10-11 14:38:50	×	parisienne quits (sid383587@gateway/web/irccloud.com/x-wkbgoesgrpfdelps) (.net .split)
2020-10-11 14:38:50	×	seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (.net .split)
2020-10-11 14:38:50	×	dcoutts quits (~duncan@unaffiliated/dcoutts) (.net .split)
2020-10-11 14:38:50	×	thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (.net .split)
2020-10-11 14:38:50	×	dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (.net .split)
2020-10-11 14:38:50	×	miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (.net .split)
2020-10-11 14:38:51	×	fl0_id quits (~fl0_id@2a01:4f8:171:4de::40:2) (.net .split)
2020-10-11 14:38:51	×	barrucadu quits (~barrucadu@fsf/member/barrucadu) (.net .split)
2020-10-11 14:38:51	×	bcoppens quits (~bartcopp@kde/coppens) (.net .split)
2020-10-11 14:38:51	×	noteness quits (~noteness@unaffiliated/nessessary129) (.net .split)
2020-10-11 14:38:51	×	opqdonut quits (opqdonut@pseudo.fixme.fi) (.net .split)
2020-10-11 14:38:51	×	Velpoman quits (~Velpoman@159.65.76.124) (.net .split)
2020-10-11 14:38:51	×	dixie quits (~dixie@real.wilbury.sk) (.net .split)
2020-10-11 14:39:10	→	martin02 joins (silas@hund.fs.lmu.de)
2020-10-11 14:39:10	→	tttom[m] joins (tttommatri@gateway/shell/matrix.org/x-envhcytnrwvreghj)
2020-10-11 14:39:10	→	gmind[m] joins (gmindmatri@gateway/shell/matrix.org/x-azjcyqgyoflizrpj)
2020-10-11 14:39:10	→	Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-hukludizhwnrxifz)
2020-10-11 14:39:10	→	lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-yolujewggzqqhajb)
2020-10-11 14:39:10	→	maralorn joins (maralornma@gateway/shell/matrix.org/x-awbsrvgnrvynarjf)
2020-10-11 14:39:10	→	ethercrow[m] joins (ethercrowm@gateway/shell/matrix.org/x-zwklnxjxcmhjkoow)
2020-10-11 14:39:10	→	Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-ytyxcamjxrgxyfkl)
2020-10-11 14:39:10	→	unclechu joins (unclechuma@gateway/shell/matrix.org/x-smvlsqqmverjjhyj)
2020-10-11 14:39:10	→	johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-vahebxhkdkvauchy)
2020-10-11 14:39:10	→	chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-kpqcqdtuspbqaepg)
2020-10-11 14:39:10	→	drupol joins (sid117588@gateway/web/irccloud.com/x-botdgnvcemakmhms)
2020-10-11 14:39:10	→	hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-zvgetfbstubrdqzf)
2020-10-11 14:39:10	→	sphalerite joins (~sphalerit@NixOS/user/lheckemann)
2020-10-11 14:39:10	→	rawles joins (~r@unaffiliated/rawles)
2020-10-11 14:39:10	→	rodlogic__ joins (sid214676@gateway/web/irccloud.com/x-mpkvpqnfqcxewmmv)
2020-10-11 14:39:10	→	pasukon joins (sid49097@gateway/web/irccloud.com/x-zvjflytzjcvxxkxp)
2020-10-11 14:39:10	→	mudri joins (sid317655@gateway/web/irccloud.com/x-ewrkkkqbsfrqlwpo)
2020-10-11 14:39:10	→	lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-tjxetnhmsaedwtsv)
2020-10-11 14:39:10	→	ghuntley joins (sid16877@gateway/web/irccloud.com/x-hazckpioupzucowz)
2020-10-11 14:39:10	→	carter joins (sid14827@gateway/web/irccloud.com/x-sizpssbboxwjlzfn)
2020-10-11 14:39:10	→	elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco)
2020-10-11 14:39:10	→	conjunctive joins (sid433686@gateway/web/irccloud.com/x-svszloomofjzwqrv)

←Prev Next→

Page 1 .. 571 572 573 574 575 576 577 578 579 580 581 .. 5022

All times are in UTC.