3 ms·
The way zig is designed, I think it will be fairly easy to embed Ada's Spark like proof system in it.
by ArtixFox 3y ago
The way zig is designed, I think it will be fairly easy to embed Ada's Spark like proof system in it.
- CyberDildonics 3y agoWhy do you think that?