alhassy / alhassy/org-agda-mode
Compare & Contrast :: Other Possible Routes
Offen
- Vorherrschende Sprache
- Emacs Lisp
- Sterne
- 21
- Forks
- 6
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Here are two other possibly routes for literate programming with agda:
+ https://jesper.sikanda.be/posts/literate-agda.html
+ https://github.com/phillord/lentic
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.