awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-02 14:53:38 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
e65b5af709e87faf8db4e8250d5e843a6a16ddd5
doomemacs/modules/lang/idris
History
Henrik Lissner 4cc14389e8 PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
..
config.el
💥 Refactor add-hook! macro & change arg order
2019-07-26 20:17:29 +02:00
packages.el
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
README.org
…

README.org

:lang idris

Adds support for the idris programming language.

Reference in New Issue View Git Blame Copy Permalink