HoTT Reading Kickoff

Hi Everyone!

We're going to kickoff the meetup with an initial meetup to discuss details and identity a schedule for the group. No reading is required, but it would be good to guage what we would like to get out of the book, and how far we'd like to go.

This meeting will be hosted at the Kadena Office, who have been kind enough to let us use the space as a backup when classrooms are not available.

http://kadena.io for more info