Using .lagda.md as a literate Agda format will be less frustrating
if you put
(setq auto-mode-alist (cons '("\\.lagda.md$" . agda2-mode) auto-mode-alist))in your .emacs file.
-
Notifications
You must be signed in to change notification settings - Fork 2
pigworker/ProgrammerCommaCon
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
being a collection of Agda-facilitated ramblings
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published