GitHub repository: m0rphism/agdatex
Primary language: TeX
Created: 2023-08-25T17:38:17Z
Description: Extract LaTeX-Macros from annotated .agda-files