Join the Type Theory Study Group today at 2PM EST / 7PM GMT over Hangouts on Air! plus.google.com/events/cr0mptp…
0
1
3
0
0