[Typing-sig] Want to Contribute to Numpy (Dependent) Types

Hi! I'm a student at Harvard studying CS right now. For my thesis, I'm really interested in adding types to numpy as well as general capabilities for extending the Python system with "dependent" types. I want to add the feature of statically determining the alignment of array dimensions. Let me know how I can get started on this project! Sincerely, Teddy