awodey
diff --git a/‎.DS_Store
0 Bytes b/‎.DS_Store
0 Bytes
diff --git a/‎typetheory/.DS_Store
0 Bytes b/‎typetheory/.DS_Store
0 Bytes
diff --git a/‎typetheory/notes/typetheory2.pdf
1.49 KB b/‎typetheory/notes/typetheory2.pdf
1.49 KB