rajangdavis

Karma: 463
Created: 10 years ago

Recent Submissions

1. ▲ Ruby-lean: A Ruby semantics with a type soundness proof (samx.io) 1 point · 4 days ago · 0 comments
2. ▲ Patterns in Konnakol (algorithmicpattern.org) 3 points · 8 months ago · 0 comments

All submissions on HN · View profile on HN