CDMP 2007 :: Maja Frydrychowicz

Journal Entries

Preface
Week 1 - Reading, and a tentative type system.
Week 2 - Action plan.
Week 3 - An example, illumination.
Week 4 - Presentations are scary.
Week 5 - Progress.
Week 6 - Strangers are scary.
Week 7 - Semantics.
Week 8 - On Contextual Modal Logic.
Week 9 - Official Moving Day Hiatus.
Week 10 - Substitutions and Backtracking.
Week 11 - Major changes brewing.
Week 12 - Busy.
Week 13 - Getting ready to wrap up in style.
Week 14 - A Coherent Summary.
Week 15 - Code-signing woes.
Week 16 - Final impressions.