News for hackers. Stuff that matters.
Re:Ada's Dependent Types, and Its Types as a Whole by Lucretia9 on Sunday December 29, 2024 @09:52AM (#42540289)
What are the options required to build an android gcc these days?
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.