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