github.com/jespercockx/agda-lecture-notes/raw/master/agda.pdf

Preview meta tags from the github.com website.