From f746020d5891294e42d6001041a78a6b77f50783 Mon Sep 17 00:00:00 2001 From: Griffin Smith 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 --- 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