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.

摘要按规则整理自下方来源原文

来源