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

1 pointsposted 10 hours ago
by samxif
(samx.io)

No comments yet