GitHub repository: type-theory/type-theory-study-group-2015
Created: 2015-10-12T14:33:16Z
Description: Resources for Type Theory Study Group 2015