4 ms·Does this mean we can have a TypeScript binding to Coq?by NotAnEconomist 7y agoDoes this mean we can have a TypeScript binding to Coq?