February 15th, 2016

beartato phd

(no subject)

Woke up early this morning with severe gut distress. Hope it wasn't anything in particular I ate yesterday. Felt better later on in the evening. Still find myself unable to stop thinking during free moments about this lambda-term-graph correspondence thing.