News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by tubs on Saturday December 28, 2024 @10:31AM (#42531725)
Very few of which are needed or even wanted for lower level mcu development. I assume when the gp was talking about spinning things they were talking about ESC software.
[ Parent | on HN ]

There are no comments on this comment yet.