This project is done under supervision by Matthijs Vákár for the course "Concepts of Programming Language Design" at Utrecht University. For this project we implemented a Automatic Differentiation algorithm created by Matthijs Vákár [1], which can perform Automatic Differentiation on Higher-Order Functions.
A few example programs are available in Examples.hs. These can be tested by first building the library (stack build) and then opening the file in GHCi (stack ghci Examples.hs).