3 ms·Something like Ada/SPARK might be a better choice for something like SQLite as well.by elcritch 9mo agoSomething like Ada/SPARK might be a better choice for something like SQLite as well.