Home freenode/#haskell: Logs Calendar

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.