Given that we haven't had anything to talk about in the tensor typing meetings for a while, and given that Pradeep's excellent Typing Meetup is providing a place for other kinds of typing discussion, I'm wondering whether it might be a good time to take a hiatus for a while - resuming once we've made a bit more progress on the implementation side/have more conceptual issues to discuss again.

Any objections? If we don't hear anything by the end of the week, we'll assume this is ok, and take a break for a while.

Thanks!

Matthew