search

type-theory / type-theory-study-group

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

Started syllabus #12

Closed CraigStuntz closed 8 years ago

markfarrell commented 8 years ago

:+1: