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

(samx.io)

1 points | by samxif 11 hours ago ago