{ ... }:
[
  {
    year = 2023;
    name = "Operating Principles of Binary Machines";
    level = "L1";
    institution = "Université Paris-Cité";
    hours = 26;
  }
  {
    year = 2023;
    name = "Introduction to Operating Systems";
    level = "L1";
    institution = "Université Paris-Cité";
    hours = 26;
  }
  {
    year = 2024;
    name = "Lambda-Calculi and Categories";
    level = "M1";
    institution = "École Normale Supérieure de Paris";
    hours = 18;
  }
  {
    year = 2025;
    name = "Automata and Lexical Analysis";
    level = "L2";
    institution = "Université Paris-Cité";
    hours = 26;
  }
]