LeanDB a strongly Typed SQL front end
Because in Lean 4 your schema, your queries and your migrations can all be types, and the compiler checks all three.
Summary not yet generated for this article.
Comments (1 of ) ⌛