Meetup 1 Notes
40 views
Skip to first unread message
Ilan Godik
Nov 13, 2015, 7:32:05 PM11/13/15
to Type Theory Study Group
Hello everyone.
I took some notes during our first meetup on the 13.11.2015.
Here's a link to the pdf: https://drive.google.com/open?id=0By21cCo_HiL0SEFvUkFHbGxMczA
Please point out any errors or inaccuracies!
Enjoy,
Ilan Godik.
Mark Farrell
Nov 14, 2015, 10:55:05 AM11/14/15
to Type Theory Study Group
Thanks Ilan.
Reply all
Reply to author
Forward
0 new messages