Re:Ada's Dependent Types, and Its Types as a Whole
by pjmlp on Monday December 30, 2024 @06:26AM
(#42548388)
None since Google dropped GCC support, to anyone to do the work to make it work again.
[ Parent
| on HN ]
There are no comments on this comment yet.