An effect system proposal for C2y
(open-std.org)2 points by pjmlp 13 hours ago | 2 comments
pjmlp 34 minutes ago | root | parent |
For sure, however if you bothered to read it, MISRA verifiers and Deputy are given as examples from prior art.
2 points by pjmlp 13 hours ago | 2 comments
pjmlp 34 minutes ago | root | parent |
For sure, however if you bothered to read it, MISRA verifiers and Deputy are given as examples from prior art.
fithisux 10 hours ago |
It needs an implementation