[catgary]

Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?

[lfnoise]

Philip Wadler ? https://arxiv.org/abs/2005.11710