News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by yannickmoy on Thursday February 06, 2020 @03:21AM (#22254409)
It has changed: https://blog.adacore.com/pointer-based-data-structures-in-sp...
[ Parent | on HN ]

There are no comments on this comment yet.