Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 169 170 171 172 173 174 175 176 177 178 179 .. 5022
— 502,152 events total
2020-09-23 22:49:29 <phadej> without using parametricity
2020-09-23 22:49:58 <phadej> because we cannot try all possible Types
2020-09-23 22:49:59 <LestatCapulet> Magic Disney Tatertott Power 4TehWin!
2020-09-23 22:50:07 × alehander92 quits (sid331460@gateway/web/irccloud.com/x-skbuouxgvypjhrbq) (Ping timeout: 240 seconds)
2020-09-23 22:50:07 × moobar quits (sid171730@gateway/web/irccloud.com/x-jwbgwosokencdush) (Ping timeout: 240 seconds)
2020-09-23 22:50:07 × zabracks quits (sid322453@gateway/web/irccloud.com/x-msxmmjsyvydbsgce) (Ping timeout: 240 seconds)
2020-09-23 22:50:07 × ullbeking quits (sid5364@gateway/web/irccloud.com/x-bggbysfwpcuhsafr) (Ping timeout: 240 seconds)
2020-09-23 22:50:13 × feepo quits (sid28508@gateway/web/irccloud.com/x-keoubknszfxdiopd) (Ping timeout: 244 seconds)
2020-09-23 22:50:13 × drbrule quits (sid395654@gateway/web/irccloud.com/x-iplpgvawjbrmytpt) (Ping timeout: 244 seconds)
2020-09-23 22:50:13 × liszt quits (sid336875@gateway/web/irccloud.com/x-ghtkcbyceanfldej) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × PatrickRobotham_ quits (sid18270@gateway/web/irccloud.com/x-aqyiegismnjqqiaa) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × bradparker quits (sid262931@gateway/web/irccloud.com/x-izrmtmlnktexefjq) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × typetetris quits (sid275937@gateway/web/irccloud.com/x-ebarjohavpsswlsn) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × simony quits (sid226116@gateway/web/irccloud.com/x-llwdmynarxqvqtjp) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × PoliticsII____ quits (sid193551@gateway/web/irccloud.com/x-zfpeznjndjxylmbm) (Ping timeout: 244 seconds)
2020-09-23 22:50:18 × benwr__ quits (sid372383@gateway/web/irccloud.com/x-pwviulszmavblgkf) (Ping timeout: 244 seconds)
2020-09-23 22:50:27 × ghuntley quits (sid16877@gateway/web/irccloud.com/x-cdutoeaetcykkhmh) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × ocharles quits (sid30093@musicbrainz/user/ocharles) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × amatecha__ quits (sid10006@gateway/web/irccloud.com/x-mhkzuyzkzyxujbyp) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × bjs quits (sid190364@gateway/web/irccloud.com/x-stdxojzktsgxjncb) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × gregberns_ quits (sid315709@gateway/web/irccloud.com/x-cggqfhzdhztjwufy) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × integral quits (sid296274@p3m/member/integral) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × davetapley quits (sid666@gateway/web/irccloud.com/x-vkjdgnhrpgbtbkcs) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × cvlad- quits (sid203065@gateway/web/irccloud.com/x-pxweceogfvsciarl) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × agander_m quits (sid407952@gateway/web/irccloud.com/x-buryiwccjbzhcvjh) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × chpatrick quits (sid239395@gateway/web/irccloud.com/x-utcyhgxekvhxejbi) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × teehemkay quits (sid14792@gateway/web/irccloud.com/x-sjcsbjoqlladnfxk) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × totbwf quits (sid402332@gateway/web/irccloud.com/x-vjmhiwccxkxkteva) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × dgpratt quits (sid193493@gateway/web/irccloud.com/x-uucxuoqybsgyiift) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × mankyKitty quits (sid31287@gateway/web/irccloud.com/x-jihesrcsryboipnr) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × Cir0X quits (sid221743@gateway/web/irccloud.com/x-oqxcnazabqtiadgx) (Ping timeout: 240 seconds)
2020-09-23 22:50:27 × lally quits (sid388228@gateway/web/irccloud.com/x-vhwczorcyqzuicms) (Ping timeout: 240 seconds)
2020-09-23 22:50:37 × metadave quits (sid28102@gateway/web/irccloud.com/x-mrjoylodjlrypfbb) (Ping timeout: 260 seconds)
2020-09-23 22:50:41 <LestatCapulet> Lets play sum Tetris AAmodafackerz!
2020-09-23 22:50:45 → ericsagnes joins (~ericsagne@2405:6580:0:5100:299e:ec7e:26e2:62a4)
2020-09-23 22:50:47 × SrPx quits (sid108780@gateway/web/irccloud.com/x-pikcoqubfkfixlwr) (Ping timeout: 240 seconds)
2020-09-23 22:50:47 × darthThorik quits (sid39589@gateway/web/irccloud.com/x-lwzuxihrfeehhzht) (Ping timeout: 240 seconds)
2020-09-23 22:50:47 × chessai quits (sid225296@gateway/web/irccloud.com/x-jfizlxvivbcantln) (Ping timeout: 240 seconds)
2020-09-23 22:50:49 × adius quits (sid321344@gateway/web/irccloud.com/x-tgtgafliufsovuzu) (Ping timeout: 244 seconds)
2020-09-23 22:50:53 monochrom sets mode +b *!*@192.95.191.129
2020-09-23 22:50:54 LestatCapulet is kicked by monochrom (LestatCapulet)
2020-09-23 22:50:55 × Shun131 quits (sid377723@gateway/web/irccloud.com/x-bciclhtcxocmszvr) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × mpickering quits (sid78412@gateway/web/irccloud.com/x-exagzdwxeoovxmvn) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × stylewarning quits (stylewarni@gateway/web/irccloud.com/x-aacvmntgnkbbrpre) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × enemeth79 quits (sid309041@gateway/web/irccloud.com/x-juwyanjnqsblnvjw) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × rdivyanshu quits (sid322626@gateway/web/irccloud.com/x-nvhtjrmbhbobdxph) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × sethetter__ quits (sid17895@gateway/web/irccloud.com/x-ofqffrfpymacvots) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × Boarders quits (sid425905@gateway/web/irccloud.com/x-tqjgutzzrbwehmim) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × alunduil quits (alunduil@gateway/web/irccloud.com/x-rqaajfjptzcjmhjk) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-oabhwrmeevisxbwt) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × heyj quits (sid171370@gateway/web/irccloud.com/x-xzalwuunujdpcyxl) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × natim87 quits (sid286962@gateway/web/irccloud.com/x-uyoculsnckwhiufe) (Ping timeout: 240 seconds)
2020-09-23 22:50:55 × eruditass quits (uid248673@gateway/web/irccloud.com/x-iwpawjqwxbqtvpqz) (Ping timeout: 240 seconds)
2020-09-23 22:50:57 × iphy quits (sid67735@gateway/web/irccloud.com/x-ljktqldirtfuvhxf) (Ping timeout: 260 seconds)
2020-09-23 22:51:05 × Adeon quits (sid418992@gateway/web/irccloud.com/x-alybvdyanbyduxzk) (Ping timeout: 272 seconds)
2020-09-23 22:51:07 × lightandlight quits (sid135476@gateway/web/irccloud.com/x-lugrjgzcjggtbiby) (Ping timeout: 240 seconds)
2020-09-23 22:51:07 × rizary quits (sid220347@gateway/web/irccloud.com/x-zgjmzrjsselnpznk) (Ping timeout: 240 seconds)
2020-09-23 22:51:16 → ocharles joins (sid30093@musicbrainz/user/ocharles)
2020-09-23 22:51:16 <EvanR> we cannot do what?
2020-09-23 22:51:25 × sclv quits (sid39734@haskell/developer/sclv) (Ping timeout: 240 seconds)
2020-09-23 22:51:32 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-qorfieghthxovgmb) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × Kamuela quits (sid111576@gateway/web/irccloud.com/x-xlqrhagcwhphbieg) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × angerman quits (sid209936@gateway/web/irccloud.com/x-thzdnynaezhogcyk) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × betawaffle quits (sid2730@gateway/web/irccloud.com/x-vowkstqoqmkgbeel) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × pent quits (sid313808@gateway/web/irccloud.com/x-gkbroqrhnklldkyz) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × alexknvl quits (sid259568@gateway/web/irccloud.com/x-qorpotgmpomxedyr) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × jetpack_joe quits (sid146137@gateway/web/irccloud.com/x-ctheevdrmbwanlfp) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × d0liver quits (sid363046@gateway/web/irccloud.com/x-rxubzzchgfajmkwp) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × caasih quits (sid13241@gateway/web/irccloud.com/x-lyrfozrutzyciokb) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × carter quits (sid14827@gateway/web/irccloud.com/x-lolmerenbdywhelv) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × cstrahan quits (sid36118@gateway/web/irccloud.com/x-ijwwaukekmgfdtbb) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × grfn quits (sid449115@gateway/web/irccloud.com/x-wmkxiwvftsjzmtar) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × jlpeters quits (sid25606@gateway/web/irccloud.com/x-qrrymvptdtkirxre) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × alanz_ quits (sid110616@gateway/web/irccloud.com/x-uweulygqbqdjzrce) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × edmundnoble quits (sid229620@gateway/web/irccloud.com/x-svsxuztwqrbczrgg) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × FMJz____ quits (sid279245@gateway/web/irccloud.com/x-ndzfispoqyyjbfwv) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × koankeeper quits (sid216950@gateway/web/irccloud.com/x-surgzmxynbvksujv) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × liquorice quits (sid267884@gateway/web/irccloud.com/x-xylydadfiqqahmvz) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × drupol quits (sid117588@gateway/web/irccloud.com/x-ndganimdeoyyzpze) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × newhoggy quits (sid198874@gateway/web/irccloud.com/x-frzapkbirclsivhh) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × cemerick quits (sid54985@gateway/web/irccloud.com/x-xjoooidjnsclfhmo) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × buggymcbugfix quits (sid432603@gateway/web/irccloud.com/x-lklzoesoqimndwor) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × NemesisD quits (sid24071@gateway/web/irccloud.com/x-jooxmsmhuiatqwup) (Ping timeout: 260 seconds)
2020-09-23 22:51:32 × albethere quits (sid457088@gateway/web/irccloud.com/x-vytwtngzpwqzmwzu) (Ping timeout: 260 seconds)
2020-09-23 22:51:43 × kip quits (sid71464@gateway/web/irccloud.com/x-dstccjprfxvtgpru) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × bitonic quits (sid61915@gateway/web/irccloud.com/x-ydkmzmcmestwiapm) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × PotatoGim quits (sid99505@gateway/web/irccloud.com/x-roqgdbepvpkqcqvg) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-gvlppjsxyefvgjgm) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × hazard-pointer quits (sid331723@gateway/web/irccloud.com/x-aszxwmqoaxlphlnc) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × dani- quits (sid341953@gateway/web/irccloud.com/x-tfopvbbambqkrddm) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × parsnip quits (sid147265@gateway/web/irccloud.com/x-ruqytqnmciyoyqlr) (Ping timeout: 272 seconds)
2020-09-23 22:51:43 × systemfault quits (sid267009@gateway/web/irccloud.com/x-coqzndmmhghxnvqs) (Ping timeout: 272 seconds)
2020-09-23 22:51:47 × idnar quits (sid12240@gateway/web/irccloud.com/x-tfsrbtkqrzazovfm) (Ping timeout: 260 seconds)
2020-09-23 22:51:47 × lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-kqlffaskqxngpytz) (Ping timeout: 260 seconds)
2020-09-23 22:51:47 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-bpqznclhpkuhhkvr) (Ping timeout: 260 seconds)
2020-09-23 22:51:47 × mcfilib quits (sid302703@gateway/web/irccloud.com/x-mcvztaukmltliuld) (Ping timeout: 260 seconds)
2020-09-23 22:51:48 × wildsebastian quits (sid324688@gateway/web/irccloud.com/x-zxluugkcnddqzgnu) (Ping timeout: 260 seconds)
2020-09-23 22:51:48 × benl23 quits (sid284234@gateway/web/irccloud.com/x-qybbmdkhuhxfnbnc) (Ping timeout: 260 seconds)
2020-09-23 22:51:48 × adamse quits (sid72084@gateway/web/irccloud.com/x-cectujjnvjvetnmu) (Ping timeout: 260 seconds)
2020-09-23 22:51:48 × kristjansson quits (sid126207@gateway/web/irccloud.com/x-cwnvwggjpyoyfbug) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 169 170 171 172 173 174 175 176 177 178 179 .. 5022

All times are in UTC.