Whole-known-network
<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> ok but here the \lam is at the term level, not the type level right?</p>
<p>Relatedly, a similar issue has affected all of Arcade Fire’s music and the band has decided to break up in the wake of the incident.</p>
<p><span class="h-card" translate="no"><a href="https://social.coop/@chrisjrn" class="u-url mention">@<span>chrisjrn</span></a></span> <span class="h-card" translate="no"><a href="https://aus.social/@voltagex" class="u-url mention">@<span>voltagex</span></a></span> <span class="h-card" translate="no"><a href="https://publicidentity.net/@jezdez" class="u-url mention">@<span>jezdez</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@yarkot" class="u-url mention">@<span>yarkot</span></a></span> and I undertook a weird side project to find those old releases. I can't remember whether Yarko posted them to Github or not (I just checked my repos and I don't think I did it).</p>
<p>NBC reports that due to a strange encoding error as of this morning all episodes of The Office, digital or physical, will no longer work</p>
<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fasterthanlime</span></a></span> <span class="h-card" translate="no"><a href="https://toot.cat/@Gankra" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Gankra</span></a></span> but can we integrate the two.... hmmmmm....</p>
<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> wait ur right the pi is the forall i knew that <br />what do u mean type constructor-ish</p><p>and how do i construct a term w type \lam x:A. B</p>
<p><span class="h-card" translate="no"><a href="https://toot.cat/@Gankra" class="u-url mention">@<span>Gankra</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> Not everyone can be buttplug.io</p>
<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> there's always PostyBirb, but that's more targeted at artists. Claims to have both BSky and Masto support, though.</p>
<p>The newscaster’s voice wavered for a moment, as if she didn’t want to read what the prompter said. She swallowed deeply and lamented with a dry voice, “in a surprise move, all three credit bureaus have agreed that having your data breached will have a significantly negative impact on your credit score”</p>