LeanDB a strongly Typed SQL front end

(theoric.com)

2 points | by hargup 3 hours ago

1 comments

  • hargup 3 hours ago
    I belive we can do regular software much better using formal methods, and I want to better communicate the developing tools, learnings and methodology.

    Would appreciate a quick reaction from the community.