[Functional Programming Project] Compiling simply typed λ-calculus to Categories: Automatic Differentiation

Functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy), about compiling simply typed λ-calculus to Categories: Automatic Differentiation.

The github repository can be found here:

  Github Repo