Logika v računalništvu

We shall work through Part I to learn the basics of type theory and Agda. The remaining material will be useful to students who will work on programming-language related projects.

Caveat: Do not follow blindly the installation instructions given in the introduction, as they are fairly involved. We recommend instead that you use Visual Studio Code, which installs Agda automagically. (More instructions in the course's GitHub repository.)