search

type-theory / type-theory-study-group

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

Add Sydney chapter to readme #7

Closed thsutton closed 8 years ago

thsutton commented 8 years ago

This closes #6.