Re:Ada's Dependent Types, and Its Types as a Whole
by pjmlp on Monday December 30, 2024 @06:25AM
(#42548384)
Unless you are using the Android NDK with the official provided clang for C and C++, anything else is a pain for masochits that rather endure yak shaving the whole infrastructure than code in either C or C++ alongside either Java or Kotlin.
[ Parent
| on HN ]
There are no comments on this comment yet.