search

type-theory / type-theory-study-group

Resources for the online Type Theory Study Group
161 stars 18 forks source link

Sydney, AU group #6

Closed thsutton closed 8 years ago

thsutton commented 8 years ago

We've started a group meeting in-person in Sydney. I'm not sure whether we'll be doing the same thing but at GMT+11 or if we'll diverge in content at some point.

Meetup page is here: http://www.meetup.com/Sydney-Type-Theory/ but I'm not sure if it should be listed in here? A study group vs this study group, etc.

markfarrell commented 8 years ago

Can add it here if you'd like. Perhaps under a "Local Chapters" section?