Functional Programming I (Joint section), HT2021