Brendan Zabarauskas@brendanzab·Jan 3An exciting looking preprint by @starsandspirals, @ma_vollmer, and @dorchard clarifying the difference between linear types and uniqueness types: https://starsandspira.ls/docs/esop22-draft.pdf…read image descriptionALT21148
Brendan Zabarauskas@brendanzabReplying to @Gankra_ @starsandspirals and 2 othersYou should! 😊4:34 AM · Jan 3, 2022·Twitter Web App
