Wrote an introduction to the view section
Merge branch 'master' of https://github.com/gdijkstra/hprop-erasibility

Conflicts:
	docs/thesis/applications.lhs