This website requires JavaScript.
Explore
Help
Sign In
awesome-emacs
/
doomemacs
Watch
1
Star
0
Fork
0
You've already forked doomemacs
mirror of
https://github.com/doomemacs/doomemacs
synced
2025-08-11 13:07:28 -05:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
12,999
Commits
3
Branches
14
Tags
45aae7f15b74c7b843bd3b5ee2fb1230fad5be2c
Commit Graph
2 Commits
Author
SHA1
Message
Date
Rudi Grinberg
cd1783ed8e
Fix wiki for agda
...
we no longer use agda-mode locate Signed-off-by: Rudi Grinberg <
rudi.grinberg@gmail.com
>
2019-09-06 12:39:25 +09:00
Patrick Elliott
b3a83daf5f
Added basic agda support.
2018-08-21 12:46:29 +02:00