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 pjerem on Saturday December 28, 2024 @03:56PM (#42534643)
Okay that’s cool :)
[ Parent | on HN ]

There are no comments on this comment yet.