Applied Deliberation

Assorted Adventures of Sampsa Kiiskinen

Home Work Teaching

Here are some of my living course materials.

Year	Code	Name
2019	TIES341	Functional Programming 2
2019	TIEA1000	Dependently-Typed Programming and Proof Theory
2016	ITKST53	Software Security

This website is developed with Haskell, compiled with Hakyll, versioned with Git, deployed with Rsync and served with Apache HTTP Server. The software on this website is freely licensed under GNU GPL 3 or any later version, while everything else is licensed under CC BY-NC-SA, unless explicitly stated otherwise. The opinions expressed on this website are my own and free from alterations by my employer or any government agency.