Update README.md - Githubissues

type-theory / type-theory-study-group

Resources for the online Type Theory Study Group

161 stars 18 forks source link

Update README.md #8

Closed markfarrell closed 9 years ago