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 :)
Join the Discord
the lambdas are still brewing... coming soon :)