dependently-typed wiki
  • github
  • Onboarding

    • 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.