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 Keyframe on Saturday December 28, 2024 @11:10AM (#42531991)
Haven't looked in a while. That's great news then! Rust steals a lot of thunder these days though.
[ Parent | on HN ]

There are no comments on this comment yet.