https://github.com/plfa/lagda.md2tex
Tool for converting literate Agda in markdown to literate Agda in tex
https://github.com/plfa/lagda.md2tex
Last synced: 4 months ago
JSON representation
Tool for converting literate Agda in markdown to literate Agda in tex
- Host: GitHub
- URL: https://github.com/plfa/lagda.md2tex
- Owner: plfa
- Created: 2021-07-28T11:16:29.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2023-02-27T17:15:43.000Z (over 3 years ago)
- Last Synced: 2025-10-24T01:38:53.076Z (8 months ago)
- Language: TeX
- Size: 58.5 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md