(no subject)
Being the night-before-pseudo-advisor-meeting, I got some actual work done, sort of. Lots of reading and thinking and stuff. Wondering about distributivity in substructural logics and the meaning of disjunction.
By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement
