dependently-typed
  • wiki
  • meetings
  • blog
  • Spring 2022 kick-off

    Agenda

    • Schedule
    • Projects
      • Add a pipe operator to Python
      • Retrofit a typechecker onto Lua
      • Implement a subset of Bel
    • Officer elections
    • Developing beginner-friendly content
    • gt-langjam
  • rss
  • email
  • github
  • discord