I think I found some FFI examples: - Using ZZ struct in C: https://github.com/ae...

		speps on Feb 5, 2020 \| parent \| context \| favorite \| on: ZZ is a modern formally provable dialect of C I think I found some FFI examples: - Using ZZ struct in C: https://github.com/aep/zz/tree/master/tests/mustpass/inlinei... - Using C code in ZZ: https://github.com/aep/zz/tree/master/tests/mustpass/ctype_i...