-

Tried to think about linlog project.

Talked to Steve Awodey about grad school and
recommendations and such. Also semi-volunteered
for Category Theory grading, TAish responsibilities next
semester. That might be fun.