3 ms·
Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?
by catgary 5y ago
Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?
- lfnoise 5y agoPhilip Wadler ? https://arxiv.org/abs/2005.11710 https://arxiv.org/abs/2005.11710