- Join the discord. Introduce yourself if you like!
- Attend one of our weekly meetings (time and location TBD; will be announced on Discord when finalized)
- Submit a PR to dependently-typed/members adding your name and GitHub username to the README. One of the board members will merge your PR and add you to the GitHub organization.