Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler
By bneb-dev · 2026-07-01 · 7 points · 0 comments
https://salt-lang.dev
By bneb-dev · 7 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews