Martín Escardó's teaching page

Last modified:


  1. Functional Programming (first term).
  2. UG Software Workshop (second term)

Last modified: Monday June 5 10:40:25 UTC 2023