I should have expanded a bit more. They are spearheading the design of *a* langu...

		kakarot on Oct 30, 2017 \| parent \| context \| favorite \| on: F* – An ML-like functional programming language ai... I should have expanded a bit more. They are spearheading the design of a language or a few languages, and thus have skin in the game. I didn't mean to imply that they are spearheading language design in general.