Ruby-lean: A Ruby semantics with a type soundness proofsamx.io1 point·rajangdavis··0 commentsOpen articleSaveView on HN