GitHub repository: williamdemeo/agdaLatex
Description: import of Agda code into Latex directly from agda files