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 debugnik on Saturday December 28, 2024 @10:54AM (#42531862)
GNAT CE isn't a thing anymore, only FSF and Pro exist. And AdaCore now sponsors Alire, which installs FSF GNAT, and relicensed some of their tools more permissively.
[ Parent | on HN ]
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 ]