A Programming Languages club at Georgia Tech

dependently-typed is a student-run club that aims to bring together programming language and compiler enthusiasts.

You do not need prior experience to join! Undergraduate, graduate, and PhD students are all welcome :)

Weekly meetings on Tuesdays from 6-7pm EST. Location is announced weekly on Discord.