Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Couvre les principes fondamentaux de l'analyse complexe, en se concentrant sur les fonctions complexes, leurs propriétés et leurs applications dans la résolution d'équations différentielles.
