import of Agda code into Latex directly from agda files
Primary LanguageMakefileMIT LicenseMIT
No issues in this repository yet.