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:08AM (#42531973)
runtime matters
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by kevlar700 on Saturday December 28, 2024 @06:31PM (#42535834)
Why? The code you compile isn't infected by the runtime license?
[ Parent | on HN ]
Re:Ada's Dependent Types, and Its Types as a Whole by Keyframe on Sunday December 29, 2024 @06:39AM (#42539344)
???
[ Parent | on HN ]