Carr, Jenkins, Moir, Miraldo, Silva, 2022. An approach to translating Haskell programs to Agda and reasoning about them.