mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2025-12-26 20:02:34 -08:00
Code Issues Projects Releases Wiki Activity
doomemacs/modules/lang/idris
History
Henrik Lissner eca387d670
Refactor +lookup/file & update :file handlers 
+ Removed idris-mode's file handler. It doesn't do what I thought it
  did.
+ Fix markdown-follow-thing-at-point file handler creating empty buffer.
2020-02-06 16:55:28 -05:00
..
config.el Refactor +lookup/file & update :file handlers 2020-02-06 16:55:28 -05:00
packages.el Fix #2373: bring back package pinning 2020-01-25 19:02:00 -05:00
README.org Add basic idris support 2018-08-21 13:35:58 +02:00

README.org

:lang idris

Adds support for the idris programming language.