Organization of Meeting #4: Dynamics and Type Safety

[Ilan Godik]

Hello everyone.

The topics for the next meeting are:

Chapter 5: Dynamics

Chapter 6: Type Safety

- I have opened a poll for the date & time of our next meeting of the group: http://doodle.com/poll/b46sniznwu9gvt5k

  Suggested dates: 16.01, 22.01, 23.01, 29.01, 30.01

  Please vote so we can choose the best time for everyone.

- Hackpad: https://ttsg.hackpad.com/Type-Theory-Study-Group-Meeting-4-D3F5fMCPeUv

  Please suggest questions and topics for discussion!

- Discussion Leaders: Please reply if you are willing to participate in the live meeting!

Yours,

Ilan Godik.