Outline of 'Deriving Programs from Types' post
Add Curry-Howard section, change to .lhs
Asusmptions and goals
Link to github
Product types
Finish off Spirit post