awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-09 12:57:25 -05:00
Code Issues Packages Projects Releases Wiki Activity
14,756 Commits 3 Branches 14 Tags
a3293e67d4b51c986f50677b85fbd5a5bda15d6d
Commit Graph

2 Commits

Author SHA1 Message Date
Itai Y. Efrat
558277f523 update idris module to new format 
also add witty comment
 2020-10-06 13:53:32 +03:00
Patrick Elliott
a2c1a62cd6 Add basic idris support 2018-08-21 13:35:58 +02:00