Re:Ada's Dependent Types, and Its Types as a Whole
by wffurr on Saturday December 28, 2024 @10:29AM
(#42531714)
Agreed but it’s not always my own code I am reading.
[ Parent
| on HN ]
There are no comments on this comment yet.