The HaTeX User's Guide
Why do you think that https://github.com/andreasabel/agda2lagda is a good alternative to hatex-guide
The HaTeX User's Guide
Why do you think that https://github.com/andreasabel/agda2lagda is a good alternative to hatex-guide