There have been no major changes of the course since last year.
Last year's course committee meeting protocol states that "Some additional examples of e.g. proofs in Agda desired, and will be provided next time". An Agda formalisation of χ has been provided.