Logs: freenode/#haskell
| 2021-04-10 04:17:33 | × | Athas quits (athas@sigkill.dk) (*.net *.split) |
| 2021-04-10 04:17:33 | × | dolio quits (~dolio@haskell/developer/dolio) (*.net *.split) |
| 2021-04-10 04:17:33 | × | SoF quits (~SoF@unaffiliated/skillyonfire) (*.net *.split) |
| 2021-04-10 04:17:33 | × | blissful quits (~blissful@unaffiliated/azuline) (*.net *.split) |
| 2021-04-10 04:17:33 | × | ChanServ quits (ChanServ@services.) (*.net *.split) |
| 2021-04-10 04:17:34 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 2021-04-10 04:17:34 | × | DevTurks[m] quits (turkdevops@gateway/shell/matrix.org/x-actupmqxbfmeqalz) (Max SendQ exceeded) |
| 2021-04-10 04:17:34 | <edwardk> | https://github.com/ekmett/linear-logic/blob/main/internal/Linear/Logic/Internal.hs#L54 full intuitionistic linear logic stitting on top linear haskell |
| 2021-04-10 04:18:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-10 04:18:39 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-10 04:18:39 | → | glaceon joins (~glaceon@117.222.70.34) |
| 2021-04-10 04:18:39 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-10 04:18:39 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-10 04:18:39 | → | anandprabhu joins (~anand@94.203.250.121) |
| 2021-04-10 04:18:39 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-10 04:18:39 | → | dycan joins (~dycan@101-136-141-121.mobile.dynamic.aptg.com.tw) |
| 2021-04-10 04:18:39 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-gzkoamiaphbexrry) |
| 2021-04-10 04:18:39 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-xahyphcnhjupdxdl) |
| 2021-04-10 04:18:39 | → | cemerick joins (sid54985@gateway/web/irccloud.com/x-kwtgvqjjvamnvimg) |
| 2021-04-10 04:18:39 | → | TheWizardTower[m joins (thewizardt@gateway/shell/matrix.org/x-twjxxhlyipcuukha) |
| 2021-04-10 04:18:39 | → | MarcelineVQ joins (~anja@198.254.208.159) |
| 2021-04-10 04:18:39 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-10 04:18:39 | → | dcoutts__ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-10 04:18:39 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 04:18:39 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2021-04-10 04:18:39 | → | dscho joins (~dscho@178.239.168.171) |
| 2021-04-10 04:18:39 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-10 04:18:39 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-10 04:18:39 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2021-04-10 04:18:39 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 2021-04-10 04:18:39 | → | thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2021-04-10 04:18:39 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-10 04:18:39 | → | thunderrd joins (~thunderrd@183.182.111.104) |
| 2021-04-10 04:18:39 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-10 04:18:39 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-04-10 04:18:39 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-04-10 04:18:39 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-10 04:18:39 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-04-10 04:18:39 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-10 04:18:39 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-04-10 04:18:39 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-10 04:18:39 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-10 04:18:39 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-04-10 04:18:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-10 04:18:39 | → | Chousuke joins (oranenj@coffee.modeemi.fi) |
| 2021-04-10 04:18:39 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 2021-04-10 04:18:39 | → | tzh joins (~tzh@24.21.73.154) |
| 2021-04-10 04:18:39 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-04-10 04:18:39 | → | honigkuchen joins (~honigkuch@ip5b429953.dynamic.kabel-deutschland.de) |
| 2021-04-10 04:18:39 | → | brkscnce_ joins (~obaum@37.120.31.251) |
| 2021-04-10 04:18:39 | → | lep-delete joins (~lep@94.31.86.183) |
| 2021-04-10 04:18:39 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-10 04:18:39 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 2021-04-10 04:18:39 | → | tanuki joins (~quassel@173.168.178.1) |
| 2021-04-10 04:18:39 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-04-10 04:18:39 | → | ManofLetters[m] joins (manoflette@gateway/shell/matrix.org/x-bhsmqzkumzppvnax) |
| 2021-04-10 04:18:39 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-clezazqvvhbwarkc) |
| 2021-04-10 04:18:39 | → | amerocu[m] joins (amerocumat@gateway/shell/matrix.org/x-akxojggvelptdtyj) |
| 2021-04-10 04:18:39 | → | chrisbloecker[m] joins (chrisbloec@gateway/shell/matrix.org/x-lgtlnzhqkxeunsed) |
| 2021-04-10 04:18:39 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-qodhnpaatgaxkddj) |
| 2021-04-10 04:18:39 | → | MahmoudMAZOUZ[m] joins (mazouzmaen@gateway/shell/matrix.org/x-ghntwnvrtvpfbsqm) |
| 2021-04-10 04:18:39 | → | stevekrouse1[m] joins (stevekrous@gateway/shell/matrix.org/x-yfciaffvblomhpni) |
| 2021-04-10 04:18:39 | → | jo[m]3 joins (josefmat1@gateway/shell/matrix.org/x-buaukvdvttgtjwzz) |
| 2021-04-10 04:18:39 | → | Poyo[m] joins (stikynotha@gateway/shell/matrix.org/x-abatpzksndexcedg) |
| 2021-04-10 04:18:39 | → | Lurkki[m] joins (lurkkifene@gateway/shell/matrix.org/x-ybydopphoxixxelp) |
| 2021-04-10 04:18:39 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-jcnrsedsfrqtusyz) |
| 2021-04-10 04:18:39 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-gggruypsmhopvalo) |
| 2021-04-10 04:18:39 | → | pnotequalnp[m] joins (pnotequaln@gateway/shell/matrix.org/x-jtunskuzqyhnpxim) |
| 2021-04-10 04:18:39 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-akzkncerilrurejk) |
| 2021-04-10 04:18:39 | → | mith[m] joins (mithmatrix@gateway/shell/matrix.org/x-pfhvpvjtgekjfqtz) |
| 2021-04-10 04:18:39 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-dyxjkkczhkduntag) |
| 2021-04-10 04:18:39 | → | supersven[m] joins (supersvenm@gateway/shell/matrix.org/x-lfzunvudoqtsftjn) |
| 2021-04-10 04:18:39 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-ixlqzfbtjzsfqbfn) |
| 2021-04-10 04:18:39 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-iphoepecrqtylutj) |
| 2021-04-10 04:18:39 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-fpnxfuhyopuudmqy) |
| 2021-04-10 04:18:39 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-wcubbgrrzpfjunsd) |
| 2021-04-10 04:18:39 | → | mrus[m] joins (mrusmatrix@gateway/shell/matrix.org/x-nvxfilunfatertlh) |
| 2021-04-10 04:18:39 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-ngjypmezzoxqkcwe) |
| 2021-04-10 04:18:39 | → | juliendehos[m] joins (juliendeho@gateway/shell/matrix.org/x-kcdvzvxiwabavvnz) |
| 2021-04-10 04:18:39 | → | fakubish[m] joins (fakubishne@gateway/shell/matrix.org/x-mzauxrglwirdosho) |
| 2021-04-10 04:18:39 | → | samthecoy[m] joins (samthecoym@gateway/shell/matrix.org/x-ojhstrheoxjatuad) |
| 2021-04-10 04:18:39 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-zgbmebmtuhdubutk) |
| 2021-04-10 04:18:39 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-yoqlpqooxorrbzuk) |
| 2021-04-10 04:18:39 | → | CrabMan joins (phi-matrix@gateway/shell/matrix.org/x-eatvcieyhtxjfyvq) |
| 2021-04-10 04:18:39 | → | mly[m] joins (mlydisenco@gateway/shell/matrix.org/x-ceulovtflpuijpzw) |
| 2021-04-10 04:18:39 | → | addem[m] joins (addemmatri@gateway/shell/matrix.org/x-pjphcovzkvjwkvpo) |
| 2021-04-10 04:18:39 | → | my_name_is_not_j joins (mynameisno@gateway/shell/matrix.org/x-ulseprlbgjydtdzg) |
| 2021-04-10 04:18:39 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-dqaaxkallsmbbrru) |
| 2021-04-10 04:18:39 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-upodxlmsijuacjik) |
| 2021-04-10 04:18:39 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-xspernlcqrzxqahf) |
| 2021-04-10 04:18:39 | → | joe[m]2 joins (joemonoida@gateway/shell/matrix.org/x-figpqjugrnudmfea) |
| 2021-04-10 04:18:39 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-zbemkkpthikwihsa) |
| 2021-04-10 04:18:39 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-jjchrpbddljfjvfv) |
| 2021-04-10 04:18:39 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-irnntiwufepozpik) |
| 2021-04-10 04:18:39 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-gtvznqaconcgedln) |
| 2021-04-10 04:18:39 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-upkatrrjzspgqwux) |
| 2021-04-10 04:18:39 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-fgsuufyvzyggynqj) |
| 2021-04-10 04:18:39 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-busvimfumfacireu) |
| 2021-04-10 04:18:39 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-nxcqokhjbbdybuph) |
| 2021-04-10 04:18:39 | → | johnnyv[m] joins (badwolf256@gateway/shell/matrix.org/x-khizxepbxqbpsszv) |
All times are in UTC.