Passed my fucking Type Theory exam!
This course gave me stomach ulcers during the semester but I am done with it finally...
I just wanted to share with someone. :)

Type Theory exam?

@delegate212

String theory;
Integer theory;
Account theory;

Also generics:
T theory;
K theory;

And parametrized Type Theories:
Map<K, V> theory;
List<T> theory;

Pretty cool, what all did your course cover in type theory? I've been wanting to take a class on it for a while.

@RememberMe
Intro stuff and simple type theory then Logic, Peano-arithmetic, abstract types, dependant types, equalities, then finished with vectors and the proof of Orderedness (is this a word?) of Insertion sort and Merge sort.
It was fun and hard at the same time somehow.