Re:Ada's Dependent Types, and Its Types as a Whole
by chlorion on Saturday December 28, 2024 @06:16PM
(#42535722)
I'm pretty sure that gentoo also packages ada, but it doesn't get installed by default, as its behind a USE flag.
[ Parent
| on HN ]
There are no comments on this comment yet.