dependently-typed
  • wiki
  • meetings
  • CoC proposal

    TODOS

    • [ ] Write answers to the following questions
      • Describe the langjam event
        • What do we need for the event?
        • If we need funding for the event
      • What sets us apart from other CoC orgs
      • Why do we want to be a CoC org
      • What did we do this semester?
      • How does this club cater to the College of Computing community
    Links:
  • rss
  • email
  • github
  • discord