RT @lindsey: progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type…

11/5/2022, 9:02:53 PM

Favs: 0

Retweets: 0