dependently-typed
  • wiki
  • meetings
  • blog
  • 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 :)

    Learn more
    Join the Discord

    Latest Posts

    the lambdas are still brewing... coming soon :)

  • rss
  • email
  • github
  • discord