News for hackers. Stuff that matters.

A comment on Ada's Dependent Types, and Its Types as a Whole. Parent comment

Re:Ada's Dependent Types, and Its Types as a Whole by rad_gruchalski on Sunday December 29, 2024 @03:55PM (#42543008)
Thank you, this is very useful information.
[ Parent | on HN ]

There are no comments on this comment yet.