Mainly switch to highlighting-kate for haskell highlighting
Fix the compile function (run.sh)
minor
Improve a bit the traverse example (closed)
a tiny bit more on NomPa details
Merge branch 'master' of https://github.com/np/names-for-free

Conflicts:
	paper/main.hs