試著用 agda 介紹抽象代數
可以用
uv run serve.py跑本地的 watch server,port 5321
依賴有
- tr-notes: https://github.com/dannypsnl/tr
- agda
- tangle-lagda: https://codeberg.org/dannypsnl/tangle-lagda
- uv
因為公式都由 agda、pandoc 這邊處理了,倒是不用裝 MacTex、dvisvgm 這些本來 tr-notes 會用到的部分。