Re:Ada's Dependent Types, and Its Types as a Whole
by Lucretia9 on Sunday December 29, 2024 @11:40AM
(#42540987)
Ada has the concept of Pools, the heap is one of the pools, you can define your own.
[ Parent
| on HN ]
There are no comments on this comment yet.