alhassy/org-agda-mode
Vedi su GitHubAn Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
- Stelle
- 21
- Fork
- 6
- Issue aperte per principianti
- 0
- Issue indicizzate
- 1
- Lingua principale
- Emacs Lisp
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 8/11/2021
- Ultima indicizzazione
- 13/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
-
alhassy/org-agda-mode#4 · 0 commenti · 0 reazioni · 0 assegnatari ·