Dependently Typed
Georgia Tech Student Org
About
dependently-typed is a student-run club that aims to bring together programming language and compiler enthusiasts. Programming languages are one of the first things people interface with when learning how to program computers.
How to apply
Visit the official page to apply or learn more.