sergej2018-4-1 07:38:14can somebody point me to the lecture notes from 2017? sergej2018-4-1 07:38:38https://summer-school.racket-lang.org/2017/ only has organizational matters sergej2018-4-1 07:52:30found it, https://summer-school.racket-lang.org/2017/notes/