Ruby-lean: A Ruby semantics with a type soundness proof

https://samx.io/blog/topics/devlog/2026-09-26-ruby-lean.html

Comments