+++
title = "Everything I Know About Types"
summary = """
  In this series, I try to write down and organize all I know about type systems.
  Most of this knowledge was acquired over my time as a researcher in the field
  of programming languages at Oregon State University.
  """
status = "ongoing"
draft = true
divider = ": "
+++
