HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by NotAnEconomist | Hacker News Reader
Full thread
NotAnEconomist
·
Does this mean we can have a TypeScript binding to Coq?
View on HN
No comments yet.