alhassy / alhassy/org-agda-mode
Compare & Contrast :: Other Possible Routes
未關閉
- 主要語言
- Emacs Lisp
- 星號
- 21
- 分支
- 6
- PR 合併指標
- 30 天內沒有已合併 PR
描述
Here are two other possibly routes for literate programming with agda:
+ https://jesper.sikanda.be/posts/literate-agda.html
+ https://github.com/phillord/lentic
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。