News for hackers. Stuff that matters.
Re:Ada's Dependent Types, and Its Types as a Whole by Jtsummers on Saturday December 28, 2024 @10:31AM (#42531723)

There are no comments on this comment yet.