Add :lang idris to init.example.el

Needs a witty comment!
2018-09-02 17:18:55 +02:00 · 2018-09-02 17:18:55 +02:00 · 3d5c8ba279
commit 3d5c8ba279
parent 3a23ff56cd
1 changed files with 1 additions and 0 deletions
--- a/init.example.el
+++ b/init.example.el
@ -94,6 +94,7 @@
      ;go                ; the hipster dialect
      ;(haskell +intero) ; a language that's lazier than I am
      ;hy                ; readability of scheme w/ speed of python
+      ;idris             ;
      ;(java +meghanada) ; the poster child for carpal tunnel syndrome
      ;javascript        ; all(hope(abandon(ye(who(enter(here))))))
      ;julia             ; a better, faster MATLAB