diff --git a/init.example.el b/init.example.el
index 9a084b5b3..aaae090b1 100644
--- 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