Contains project repo/code as well as exercises done while following the Programming Language Seminar course at the IT-University of Copenhagen. The course uses Benjamin Pierce's book on Software Foundations, and the exercises as well as project is based thereon.