[fietske]

1. Read Dijkstra's material: - learn about contract oriented programming, pre- and post-conditions and invariants 2. Learn about functional programming and lambda calculus 3. Read Joe Armstrong’s dissertation