Syllabus

36 views

Skip to first unread message

unread,

Dec 3, 2015, 8:59:01 AM12/3/15

to Type Theory Study Group

I created a barebones syllabus a few weeks back as a place to draft plans for future meetings + topics.

Please feel free to contribute via PR:

Reply all

Reply to author

Forward

0 new messages