Ruby-lean: A Ruby semantics with a type soundness proof
By rajangdavis · 2026-10-03 · 1 points · 0 comments
https://samx.io/blog/topics/devlog/2026-09-26-ruby-lean.html
By rajangdavis · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews