Lecture notes - Types for Programs and Proofs - DAT350

The notes are written mostly in literate Agda/Markdown using Pandoc syntax and Latex math. They are compiled with:

pandoc -o outFile.html -t html5 --mathjax --toc --standalone --css pandoc.css inFile.md

Feel free to improve them and send a pull request.