3 ms·
That's how WUFFS (Wrangling Untrusted File Formats Safely) works: https://github.com/google/wuffs#what-does-compile-time-checking-look-like https://github.com/
by nigeltao 4y ago
That's how WUFFS (Wrangling Untrusted File Formats Safely) works:
https://github.com/google/wuffs#what-does-compile-time-checking-look-like https://github.com/google/wuffs#what-does-compile-time-check...
- LoganDark 4y agoWUFFS is awesome. It won't even let you add two ints without proving they cannot overflow