Re:Ada's Dependent Types, and Its Types as a Whole
by cenamus on Saturday December 28, 2024 @03:52PM
(#42534620)
> We control things that spin real fast and our previous experiences with C definitely resulted in some screwups that left you weak in the knees for a bit.
Ha, you could almost read this as a stuxnet joke