4 ms·

Uh, tons of modern verifable languages exist. See idris or f* for example. They are actually quite good.

• GeorgeWBasic 6y ago
  Uh, he was saying they should be used in this instead of C.