From 3d5c8ba27964e09054b54d6d568d2a690c12358d Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Sun, 2 Sep 2018 17:18:55 +0200
Subject: [PATCH] Add :lang idris to init.example.el

Needs a witty comment!
---
 init.example.el | 1 +
 1 file changed, 1 insertion(+)

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