Hacker News new | ask | show | jobs
by rat 5389 days ago
Wouldn't that be Typed Scheme/Typed Racket?
1 comments

Without the macro-friendly syntax.