Programming project for the second year of master MPRI for the course "Functionnal programming and type system"
It is an implementation of the paper :
You Only Linearize Once: Tangents Transpose to Gradients by Alexey Radul, Adam Paszke, Roy Frostig, Matthew Johnson, Dougal Maclaurin at POPL 2023 (https://arxiv.org/abs/2204.10923 )