Re:Ada's Dependent Types, and Its Types as a Whole
by toolslive on Saturday December 28, 2024 @03:30PM
(#42534360)
The <reset> point is indeed what you need to look for but
why does it need to be a stack ? I guess it's just a naming thing. I've always looked at it as a scratchpad (that was heap allocated)
[ Parent
| on HN ]
There are no comments on this comment yet.