Shiny new versions 
I recently posted a new draft of my induction paper. Having taught with forall x last term, I had the opportunity to catch some errors and infelicities. They have been exchanged for felicities, and the new version 1.21 is on-line.

Comments

Add Comment

Fill out the form below to add your own comments.









Insert Special:








Moderation is turned on for this blog. Your comment will require the administrators approval before it will be visible.