News for hackers. Stuff that matters.

A comment on T1: A Modern Programming Language for Constrained Environments. Parent comment

Re:T1: A Modern Programming Language for Constrained Environ... by stefano on Saturday January 11, 2020 @10:02AM (#22020175)
I think Ada, in its SPARK dialect, should be able to do this.
[ Parent | on HN ]

There are no comments on this comment yet.