Import the old icfp14-post semi-writeup.
Fix markup confusion.
Mostly-arbitrary style change
Add some hyperlinks.