Personal notes taken from the course ThCS. Introduction to programming with dependent types in Scala. - View it on GitHub