Hello, I'm a TA for the intro course taught in C0.

C0-specific resources can be found at http://c0.typesafety.net