Some generics
Rework slides
Update analysis tool again
Add hlint results
Small improvements
f -> alg
TeX layout
Another gitinore
Write a bit of introduction