From f746020d5891294e42d6001041a78a6b77f50783 Mon Sep 17 00:00:00 2001
From: Griffin Smith <grfn@gws.fyi>
Date: Thu, 23 Sep 2021 09:45:35 -0400
Subject: fix(gs/emacs): Disable idris temporarily

This doesn't work right now, and I'm not currently writing any idris

Change-Id: I7c090ad9f05c5d24f4f80fdd444e8995629aaba4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3641
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
---
 users/grfn/emacs.d/init.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/users/grfn/emacs.d/init.el b/users/grfn/emacs.d/init.el
index 4ffa33ca651c..6719e933818c 100644
--- a/users/grfn/emacs.d/init.el
+++ b/users/grfn/emacs.d/init.el
@@ -101,7 +101,7 @@
        ;; (haskell +intero) ; a language that's lazier than I am
        haskell ; a language that's lazier than I am
        ;;hy                ; readability of scheme w/ speed of python
-       idris             ;
+       ;; idris             ;
        ;;(java +meghanada) ; the poster child for carpal tunnel syndrome
        javascript        ; all(hope(abandon(ye(who(enter(here))))))
        julia             ; a better, faster MATLAB
-- 
cgit 1.4.1